Enumeration Strategies in Constraint Programming for solving puzzles

被引：0
|
作者：
Crawford, Broderick [1 ]
Aranda, Mary [1 ]
Castro, Carlos
Monfroy, Eric
机构：
[1] Pontificia Univ Catolica Valparaiso, Valparaiso, Chile
来源：
CERMA 2007: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/CERMA.2007.4367772
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：718 / +
页数：2
相关论文
共 50 条
  • [41] Enumeration Strategies to Solve Constraint Satisfaction Problems Performance evaluation
    Soto, Ricardo
    Crawford, Broderick
    Olivares, Rodrigo
    Herrera, Rodrigo
    Johnson, Franklin
    Paredes, Fernando
    2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2015,
  • [42] Using constraint programming for solving distance CSP with uncertainty
    Grandon, C
    Neveu, B
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, 2005, 3709 : 847 - 847
  • [43] Preference-Based Problem Solving for Constraint Programming
    Junker, Ulrich
    RECENT ADVANCES IN CONSTRAINTS, 12TH ANNUAL ERCIM INTERNATIONAL WORKSHOP, 2008, 5129 : 109 - 126
  • [44] A Constraint Programming Approach for QUBO Solving and Quantum Annealing
    Codognet, Philippe
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING COMPANION 2024, 2024, : 126 - 132
  • [45] Constraint solving in Logic Programming and in Automated Deduction: A comparison
    Armando, A
    Melis, E
    Ranise, S
    ARTIFICIAL INTELLIGENCE: METHODOLOGY SYSTEMS AND APPLICATIONS, 1998, 1480 : 28 - 38
  • [46] PSICO: Solving Protein Structures with Constraint Programming and Optimization
    Ludwig Krippahl
    Pedro Barahona
    Constraints, 2002, 7 (3-4) : 317 - 331
  • [47] A Constraint Programming Approach for Solving Patient Transportation Problems
    Cappart, Quentin
    Thomas, Charles
    Schaus, Pierre
    Rousseau, Louis-Martin
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2018, 11008 : 490 - 506
  • [48] Solving VRPTWs with Constraint Programming Based Column Generation
    Louis-Martin Rousseau
    Michel Gendreau
    Gilles Pesant
    Filippo Focacci
    Annals of Operations Research, 2004, 130 : 199 - 216
  • [49] Solving VRPTWs with constraint programming based column generation
    Rousseau, LM
    Gendreau, M
    Pesant, G
    Focacci, F
    ANNALS OF OPERATIONS RESEARCH, 2004, 130 (1-4) : 199 - 216
  • [50] Solving a stochastic queueing control problem with constraint programming
    Terekhov, Daria
    Beck, J. Christopher
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, PROCEEDINGS, 2007, 4510 : 303 - +
12345