Quantified constraint satisfaction problems: From relaxations to explanations

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 74-79

  Ferguson, Alex ^a   O'Sullivan, Barry ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SATISFACTION; GENERALISATION; QUANTIFIED CONSTRAINT SATISFACTION PROBLEMS;

ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY;

CONSTRAINT SATISFACTION PROBLEMS;

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

References (11)

1. F. Benhamou and F. Goualard. Universally quantified interval constraints. In CP, pages 67-82, 2000.
2. L. Bordeaux and E. Monfroy. Beyond NP: Arc-consistency for quantified constraints. In CP, pages 371-386, 2002.
3. L. Bordeaux, M. Cadoli, and T. Mancini. CSP properties for quantified constraints: Definitions and complexity. In AAAI, pages 360-365, 2005.
4. H. Chen. The Computational Complexity of Quantified Constraint Satisfaction. PhD thesis, Cornell University, August 2004.
5. E.C. Freuder and R.J. Wallace. Partial constraint satisfaction. Artif. Intell., 58(1-3):21-70, 1992.
6. I.P. Gent, P. Nightingale, and A. Rowley. Encoding quantified CSPs as quantified boolean formulae. In ECAI, pages 176-180, 2004.
7. I.P. Gent, P. Nightingale, and K. Stergiou. QCSP-solve: A solver for quantified constraint satisfaction problems. In IJCAI, pages 138-143, 2005.
8. U. Junker. QUICKXPLAIN : Conflict detection for arbitrary constraint propagation algorithms. In IJCAI'01 Workshop on Modelling and Solving problems with constraints, 2001.
9. U. Junker. QUICKXPLAIN : Preferred explanations and relaxations for over-constrained problems. In AAAI, pages 167-172, 2004.
10. A.K. Mackworth. Consistency in networks of relations. Artif. Intell., 8(1):99-118, 1977.
11. K. Stergiou. Repair-based methods for quantified CSPs. In CP, pages 652-666, 2005.