Description and Representation of the Problems selected for the First International Constraint Satisfaction Solver Competition

In this paper, we present the problems that have been selected for the first international competition of CSP solvers. First, we introduce a succinct description of each problem and then, we present the two formats that have been used to represent the CSP instances.

[1]  Ke Xu,et al.  A Simple Model to Generate Hard Satisfiable Instances , 2005, IJCAI.

[2]  Roberto J. Bayardo,et al.  Using CSP Look-Back Techniques to Solve Real-World SAT Instances , 1997, AAAI/IAAI.

[3]  Hatem Ahriz,et al.  Building Models through Formal Specification , 2004, CPAIOR.

[4]  Yannis C. Stamatiou,et al.  Random Constraint Satisfaction a More Accurate Picture , 2022 .

[5]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[6]  D. Shmoys,et al.  Completing Quasigroups or Latin Squares: A Structured Graph Coloring Problem , 2002 .

[7]  Wei Li,et al.  Many hard examples in exact phase transitions , 2003, Theor. Comput. Sci..

[8]  Lakhdar Sais,et al.  Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem , 2001, CP.

[9]  Patrice Boizumault,et al.  Maintaining Arc-Consistency within Dynamic Backtracking , 2000, CP.

[10]  Christophe Lecoutre,et al.  Abstraction de réseaux de contraintes , 2006, Rev. d'Intelligence Artif..

[11]  Norman M. Sadeh,et al.  Variable and Value Ordering Heuristics for the Job Shop Scheduling Constraint Satisfaction Problem , 1996, Artif. Intell..

[12]  Lakhdar Sais,et al.  Boosting Systematic Search by Weighting Constraints , 2004, ECAI.

[13]  Fahiem Bacchus,et al.  Extending Forward Checking , 2000, CP.

[14]  Simon de Givry,et al.  Radio Link Frequency Assignment , 1999, Constraints.

[15]  Ronald L. Graham,et al.  Concrete mathematics - a foundation for computer science , 1991 .

[16]  Christophe Lecoutre,et al.  Backjump-based techniques versus conflict-directed heuristics , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.

[17]  Inês Lynce,et al.  Search in the patience game 'Black Hole' , 2007, AI Commun..

[18]  Krzysztof Kuchcinski,et al.  Constraints-driven scheduling and resource assignment , 2003, TODE.

[19]  Wei Li,et al.  Exact Phase Transitions in Random Constraint Satisfaction Problems , 2000, J. Artif. Intell. Res..

[20]  Jianyang Zhou,et al.  Introduction to the constraint language NCL , 2000, J. Log. Program..