16 citations · 19 across the 2 of their papers we have counts for
3 papers
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard +1
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems. The interest of XCSP3-core is multiple: (i)…
Ludii and XCSP: Playing and Solving Logic Puzzles
Cédric Piette, Éric Piette, Matthew Stephenson +2
Many of the famous single-player games, commonly called puzzles, can be shown to be NP-Complete. Indeed, this class of complexity contains hundreds of puzzles, since people particu…
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Frederic Boussemart, Christophe Lecoutre, Gilles Audemard +1
We propose a major revision of the format XCSP 2.1, called XCSP3, to build integrated representations of combinatorial constrained problems. This new format is able to deal with mo…