TY  - RPRT
TI  - XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
AU  - Frédéric Boussemart
AU  - Christophe Lecoutre
AU  - Gilles Audemard
AU  - Cédric Piette
PY  - 2024
UR  - https://arxiv.org/abs/2009.00514
ID  - 2009.00514
ER  -