67 citations · 111 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 3 cited
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)…
cs.AI2020
PyCSP3: Modeling Combinatorial Constrained Problems in Python
Christophe Lecoutre, Nicolas Szczepanski
In this document, we introduce PyCSP, a Python library that allows us to write models of combinatorial constrained problems in a declarative manner. Currently, with PyCSP, yo…