research
∙
09/01/2020
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows...
research
∙
11/10/2016