Domain transmutation in constraint satisfaction problems

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2004, Pages 149-154

  Bowen, James ^a   Likitvivatanavong, Chavalit ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY; PROBLEM SOLVING; PROGRAM PROCESSORS; ROBUSTNESS (CONTROL SYSTEMS); SET THEORY;

DOMAIN TRANSMUTATION; INTERCHANGEABILITY; SOLUTION SETS; VALUE FRAGMENTS;

COMPUTER NETWORKS;

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

References (15)

1. Benson, B. W., and Freuder, E. C. 1992. Interchangeability preprocessing can improve forward checking search. In Proceedings of ECAI-92, 28-30.
2. Chmeiss, A., and Saïs, L. 2003. About neighborhood substitutability in CSPs. In CP-03 Workshop on Symmetry in Constraint Satisfaction Problems.
3. Choueiry, B. Y., and Noubir, G. 1998. On the computation of local interchangeability in discrete constraint satisfaction problems. In Proceedings of AAAI-98, 326-333.
4. Freuder, E. C., and Hubbe, P. D. 1995. Extracting constraint satisfaction subproblems. In Proceedings of IJCAI-95, 548-555.
5. Freuder, E. C. 1991. Eliminating interchangeable values in constraint satisfaction problems. In Proceedings of AAAI-91, 227-233.
6. Gent, I. P.; MacIntyre, E.; Prosser, P.; Smith, B. M.; and Walsh, T. 2001. Random constraint satisfaction: Flaws and structure. Constraints 6(4):345-372.
7. Ginsberg, M. L.; Parkes, A. J.; and Roy, A. 1998. Supermodels and robustness. In Proceedings of AAAI-98, 334-339.
8. Haselböck, A. 1993. Exploiting interchangeabilites in constraint satisfaction problems. In Proceedings of IJCAI-93, 282-287.
9. Hubbe, P. D., and Freuder, E. C. 1992. An efficient cross-product representation of the constraint satisfaction problem search space. In Proceedings of AAAI-92, 421-427.
10. Lesaint, D. 1994. Maximal sets of solutions for constraint satisfaction problems. In Proceedings of ECAI-94, 110-114.
11. Mohr, R., and Henderson, T. C. 1986. Arc and path consistency revisited. Artificial Intelligence 28(2):225-233.
12. O'Sullivan, B. 2002. Interactive constraint-aided conceptual design. Journal of Artificial Intelligence for Engineering Design Analysis and Manufacturing (AIEDAM) 16(4).
13. Sabin, D., and Freuder, E. C. 1994. Contradicting conventional wisdom in constraint satisfaction. In Proceedings of ECAI-94, 125-129.
14. Weigel, R., and Fallings, B. V. 1999. Compiling constraint satisfaction problems. Artificial Intelligence 115(2):257-287.
15. Weigel, R.; Fallings, B. V.; and Choueiry, B. Y. 1996. Context in discrete constraint satisfaclion problems. In Proceedings of ECAI-96, 205-213.