16 citations · 19 across the 2 of their papers we have counts for
1 paper · 1 filter
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)…