A dual graph translation of a problem in ‘life’

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2470, Issue , 2002, Pages 402-414

  Smith, Barbara M ^a  

^a UNIVERSITY OF HUDDERSFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY;

ARC CONSISTENCY; CONSTRAINT PROGRAMMING; GAME OF LIFE; LARGE DOMAIN; MAXIMUM DENSITY; NON-BINARY CONSTRAINTS; REDUNDANT CONSTRAINTS; STABLE PATTERNS;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84956966668     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46135-3_27     Document Type: Conference Paper

References (8)

1. F. Bacchus and P. van Beek. On the Conversion Between Non-Binary and Binary Constraint Satisfaction Problems. In Proceedings AAAI’98, pages 311–318, 1998.
2. C. Bessiére and J.-C. Régin. Arc consistency for general constraint networks: preliminary results. In Proceedings IJCAI’97, volume 1, pages 398–404, 1997.
3. R. Bosch and M. Trick. Constraint programming and hybrid formulations for three life designs. In N. Jussien and F. Laburthe, editors, Proceedings of the Fourth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR’02), pages 77–91, 2002.
4. R.A. Bosch. Maximum density stable patterns in variants of Conway’s game of Life. Operations Research Letters, 27:7–11, 2000.
5. R. Dechter and J. Pearl. Tree clustering for constraint networks. Artificial Intelligence, 38:353–366, 1989.
6. M. Gardner. The fantastic combinations of John Conway’s new solitaire game. Scientific American, 223:120–123, 1970.
7. I.P. Gent and B.M. Smith. Symmetry Breaking During Search in Constraint Programming. In W. Horn, editor, Proceedings ECAI’2000, pages 599–603, 2000.
8. K. Stergiou and T. Walsh. Encodings of Non-Binary Constraint Satisfaction Problems. In Proceedings AAAI’99, pages 163–168, 1999.