On forward checking for non-binary constraint satisfaction

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

Volumn 1713, Issue , 1999, Pages 88-102

  Bessière, Christian ^a   Meseguer, Pedro ^b   Freuder, Eugene C ^c   Larrosa, Javier ^d  

^a LIRMM   (France)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^c UNIVERSITY OF NEW HAMPSHIRE   (United States)

^d UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BINS; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

BINARY SEARCH ALGORITHM; FORWARD CHECKING; NON BINARY CONSTRAINT SATISFACTION PROBLEMS; NON-BINARY; NON-BINARY CONSTRAINTS;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84957380785     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48085-3_7     Document Type: Conference Paper

References (10)

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, Madison WI, 1998.
2. C. Bessière and J.C. Régin. Arc consistency for general constraint networks: preliminary results. In Proceedings IJCAI'97, pages 398-404, Nagoya, Japan, 1997.
3. R. Dechter. On the expressiveness of networks with hidden variables. In Proceedings AAAI'90, pages 556-562, Boston MA, 1990.
4. R.M. Haralick and G.L. Elliot. Increasing tree seach efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263-313, 1980.
5. J. Larrosa and P. Meseguer. Adding constraint projections in n-ary csp. In J.C. Régin and W. Nuijtens, editors, Proceedings of the ECAI'98 workshop on non- binary constraints, pages 41-48, Brighton, UK, 1998.
6. A.K. Mackworth. On reading sketch maps. In Proceedings IJCAI'77, pages 598-606, Cambridge MA, 1977.
7. R. Mohr and G. Masini. Good old discrete relaxation. In Proceedings ECAI'88, pages 651-656, Munchen, FRG, 1988.
8. F. Rossi, C. Petrie, and V. Dhar. On the equivalence of constraint satisfaction problems. In Proceedings ECAI'90, pages 550-556, Stockholm, Sweden, 1990.
9. B. Smith. Phase transition and the mushy region in constraint satisfaction problems. In Proceedings ECAI'94, pages 100-104, Amsterdam, The Netherlands, 1994.
10. Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, 1989