Enumeration strategies in constraint programming for solving puzzles. In pages 718-723, 2007.
doi  abstract   bibtex   
Constraint Programming is one of the major contributions of Computer Science for solving problems of high complexity. This paradigm is used to represent a wide variety of problems that can be modeled like Constraint Satisfaction Problems and solving them via Constraint Propagation and Enumeration. In this work, we study the resolution of puzzles with this approach, we evaluate the performance of different variable and value selection heuristics in the Enumeration phase. It is demonstrated the relevance of the Enumeration Strategy in a Constraint Programming process. © 2007 IEEE.
@inproceedings{10.1109/CERMA.2007.4367772,
    abstract = "Constraint Programming is one of the major contributions of Computer Science for solving problems of high complexity. This paradigm is used to represent a wide variety of problems that can be modeled like Constraint Satisfaction Problems and solving them via Constraint Propagation and Enumeration. In this work, we study the resolution of puzzles with this approach, we evaluate the performance of different variable and value selection heuristics in the Enumeration phase. It is demonstrated the relevance of the Enumeration Strategy in a Constraint Programming process. © 2007 IEEE.",
    year = "2007",
    title = "Enumeration strategies in constraint programming for solving puzzles",
    pages = "718-723",
    doi = "10.1109/CERMA.2007.4367772",
    journal = "Electronics, Robotics and Automotive Mechanics Conference, CERMA 2007 - Proceedings"
}

Downloads: 0