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 条

[31] Solving transient scheduling problems with constraint programming
Korbaa, O
Yim, P
Gentina, JC
EUROPEAN JOURNAL OF CONTROL, 2000, 6 (06) : 511 - 520
[32] Constraint programming for modelling and solving modal satisfiability
Brand, S
Gennari, R
de Rijke, M
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 795 - 800
[33] Solving the quorumcast routing problem by constraint programming
Quang Dung Pham
Yves Deville
Constraints, 2012, 17 : 409 - 431
[34] Solving subgraph isomorphism problems with constraint programming
Stéphane Zampelli
Yves Deville
Christine Solnon
Constraints, 2010, 15 : 327 - 353
[35] Special track on constraint solving and programming (CSP)
Bistarelli, Stefano
Monfroy, Eric
O'Sullivan, Barry
Proceedings of the ACM Symposium on Applied Computing, 2013,
[36] Efficient Optimization Strategies with Constraint Programming
Kotecha, Prakash R.
Bhushan, Mani
Gudi, Ravindra D.
AICHE JOURNAL, 2010, 56 (02) : 387 - 404
[37] Solving the puzzles
Swannell, Cate
MEDICAL JOURNAL OF AUSTRALIA, 2016, 205 (06) : C3 - C3
[38] Solving Odd Even Sudoku Puzzles by Binary Integer Linear Programming
Yu, Hui
Tang, Yuchao
Zong, Chunxiang
2016 12TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2016, : 2226 - 2230
[39] SOLVING PUZZLES
Squires, Susan
ANNALS OF ANTHROPOLOGICAL PRACTICE, 2006, 26 (01) : 191 - 208
[40] Hybrid mixed-integer/constraint logic programming strategies for solving scheduling and combinatorial optimization problems
Harjunkoski, I
Jain, V
Grossman, IE
COMPUTERS & CHEMICAL ENGINEERING, 2000, 24 (2-7) : 337 - 343

← 1 2 3 4 5 →