This document represents the proceedings of the 2022 XCSP3 Competition. ...
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows...
In this document, we introduce PYCSP3, a Python library that allows us t...
This document represents the proceedings of the 2018 XCSP3 Competition. ...
We propose a major revision of the format XCSP 2.1, called XCSP3, to bui...
In this paper, we propose a comprehensive study of second-order consiste...
Usual techniques to solve WCSP are based on cost transfer operations cou...