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 条
  • [21] Automated Modelling and Solving in Constraint Programming
    O'Sullivan, Barry
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1493 - 1497
  • [22] A constraint programming toolbox for non-linear constraint solving
    Benhamou, F
    Granvilliers, L
    SECOND INTERNATIONAL CONFERENCE ON NONLINEAR PROBLEMS IN AVIATION & AEROSPACE VOL 1 AND 2, 1999, : 95 - 101
  • [23] Top-k Based Adaptive Enumeration in Constraint Programming
    Soto, Ricardo
    Crawford, Broderick
    Palma, Wenceslao
    Monfroy, Eric
    Olivares, Rodrigo
    Castro, Carlos
    Paredes, Fernando
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [24] Solving the quorumcast routing problem by constraint programming
    Quang Dung Pham
    Deville, Yves
    CONSTRAINTS, 2012, 17 (04) : 409 - 431
  • [25] Constraint programming techniques for solving problems on graphs
    Sidorov, V
    Telerman, V
    Ushakov, D
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 424 - 433
  • [26] Solving subgraph isomorphism problems with constraint programming
    Zampelli, Stephane
    Deville, Yves
    Solnon, Christine
    CONSTRAINTS, 2010, 15 (03) : 327 - 353
  • [27] Optimizing Constraint Solving via Dynamic Programming
    Lin, Shu
    Meng, Na
    Li, Wenxin
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1146 - 1154
  • [28] Special track editorial: Constraint solving and programming
    Bistarelli, Stefano
    Monfroy, Eric
    O'Sullivan, Barry
    Proceedings of the ACM Symposium on Applied Computing, 2006, 1 : 392 - 393
  • [29] Semirings for soft constraint solving and programming - Introduction
    Bistarelli, S
    SEMIRINGS FOR SOFT CONSTRAINT SOLVING AND PROGRAMMING, 2004, 2962 : 1 - +
  • [30] Solving String Constraints: The Case for Constraint Programming
    He, Jun
    Flener, Pierre
    Pearson, Justin
    Zhang, Wei Ming
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, 2013, 8124 : 381 - 397
12345