Search Results for author:
Found 12 papers, 4 papers with code
Proceedings of the 2023 XCSP3 Competition
This document represents the proceedings of the 2023 XCSP3 Competition.
ACE, a generic constraint solver
Constraint Programming (CP) is a useful technology for modeling and solving combinatorial constrained problems.
Proceedings of the 2022 XCSP3 Competition
This document represents the proceedings of the 2022 XCSP3 Competition.
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems.
PyCSP3: Modeling Combinatorial Constrained Problems in Python
In this document, we introduce PyCSP$3$, a Python library that allows us to write models of combinatorial constrained problems in a declarative manner.
Proceedings of the 2018 XCSP3 Competition
This document represents the proceedings of the 2018 XCSP3 Competition.
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
We propose a major revision of the format XCSP 2. 1, called XCSP3, to build integrated representations of combinatorial constrained problems.
Compilation de grammaire de propri\'et\'es pour l'analyse syntaxique par optimisation de contraintes (Compilation of a Property Grammar for Syntactic Parsing through Constraint Optimisation)
Cet article pr{\'e}sente un processus de compilation d{'}une grammaire de propri{\'e}t{\'e}s en une contrainte en extension.
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets
In this paper, we describe Compact-Table (CT), a bitwise algorithm to enforce Generalized Arc Consistency (GAC) on table con- straints.
Second-Order Consistencies
In this paper, we propose a comprehensive study of second-order consistencies (i. e., consistencies identifying inconsistent pairs of values) for constraint satisfaction.
Solving WCSP by Extraction of Minimal Unsatisfiable Cores
Usual techniques to solve WCSP are based on cost transfer operations coupled with a branch and bound algorithm.
XML Representation of Constraint Networks: Format XCSP 2.1
We propose a new extended format to represent constraint networks using XML.
