Using auxiliary variables and implied constraints to model non-binary problems

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 182-187

  Smith, Barbara ^a   Stergiou, Kostas ^b   Walsh, Toby ^c  

^a UNIVERSITY OF LEEDS   (United Kingdom)

^b UNIVERSITY OF STRATHCLYDE   (United Kingdom)

^c UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

AUXILIARY VARIABLES; BINARY PROBLEMS; EMPIRICAL ANALYSIS; GENERALIZED ARC CONSISTENCIES; GOLOMB RULER; LEVELS OF CONSISTENCY; NON BINARY CONSTRAINT SATISFACTION PROBLEMS; NON-BINARY; SEARCH SPACES;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 0346917218     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Bacchus, F., and van Beek, P. 1998. On the conversion between non-binary and binary constraint satisfaction problems. In Proceedings of AAAI-98, 311-318.
2. Brailsford, S. C.; Potts, C. N.; and Smith, B. M. 1999. Constraint Satisfaction Problems: Algorithms and Applications. European Journal of O.R. 119:557-581.
3. Mohr, R., and Masini, G. 1988. Good old discrete relaxation. In Proceedings ECAI-88, 651-656.
4. Nadel, B. 1990. Representation Selection for Constraint Satisfaction: A Case Study using n-Queens. IEEE Expert 5(3):16-24.
5. Proll, L., and Smith, B. 1998. ILP and constraint programming approaches to a template design problem. INFORMS Journal on Computing 10:265-277.
6. Régin, J.-C. 1994. A filtering algorithm for constraints of difference in CSPs. In Proceedings of AAAI-94, 362-367.
7. Regin, J.-C. 1998. Minimization of the number of breaks in sports scheduling problems using constraint programming. In Proceedings of the DIMACS Workshop on Constraint Programming and Large Scale Discrete Optimization.
8. Stergiou, K., and Walsh, T. 1999a. The difference all-difference makes. In Proceedings of IJCAI-99.
9. Stergiou, K., and Walsh, T. 1999b. Encodings of non-binary constraint satisfaction problems. In Proceedings of AAAI-99.