Description and Representation of the Problems selected for the first International Constraint Satisfaction Solver Competition
Frédéric Boussemart, Fred Hémery, Christophe Lecoutre · 2005
Abstract. 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