1 code implementation • 1 Sep 2020 • Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems.
no code implementations • 29 Jun 2019 • Cédric Piette, Éric Piette, Matthew Stephenson, Dennis J. N. J. Soemers, Cameron Browne
Many of the famous single-player games, commonly called puzzles, can be shown to be NP-Complete.
no code implementations • 10 Nov 2016 • Frederic Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette
We propose a major revision of the format XCSP 2. 1, called XCSP3, to build integrated representations of combinatorial constrained problems.