Search Results for author:
Found 3 papers, 1 papers with code
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems.
Ludii and XCSP: Playing and Solving Logic Puzzles
Many of the famous single-player games, commonly called puzzles, can be shown to be NP-Complete.
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
We propose a major revision of the format XCSP 2. 1, called XCSP3, to build integrated representations of combinatorial constrained problems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
