research
∙
09/02/2022
Proceedings of the 2022 XCSP3 Competition
This document represents the proceedings of the 2022 XCSP3 Competition. ...
share
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
∙
09/01/2020
PYCSP3: Modeling Combinatorial Constrained Problems in Python
In this document, we introduce PYCSP3, a Python library that allows us t...
research
∙
12/17/2018
Proceedings of the 2018 XCSP3 Competition
This document represents the proceedings of the 2018 XCSP3 Competition. ...
research
∙
11/10/2016
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
We propose a major revision of the format XCSP 2.1, called XCSP3, to bui...
research
∙
01/16/2014
Second-Order Consistencies
In this paper, we propose a comprehensive study of second-order consiste...
research
∙
04/19/2013