QCSP-solve: A solver for quantified constraint satisfaction problems

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 138-143

  Gent, Ian P ^a   Nightingale, Peter ^a   Stergiou, Kostas ^b  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

^b UNIVERSITY OF THE AEGEAN   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECT APPROACH; ORDERS OF MAGNITUDE; QUANTIFIED CONSTRAINT SATISFACTION PROBLEMS; SPEED UP;

ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY;

ENCODING (SYMBOLS);

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

References (10)

1. F. Benhamou and F. Goualard. Universally Quantified Interval Constraints. In Proceedings of CP-2000, pages 67-82, 2000.
2. F. Boerner, A. Bulatov, P. Jeavons, and A. Krokhin. Quantified Constraints: Algorithms and Complexity. In Proceedings of CSL-2003, pages 244-258, 2003.
3. L. Bordeaux and E. Monfroy. Beyond NP: Arc-consistency for Quantified Constraints. In Proceedings of CP-2002, 2002.
4. M. Cadoli, M. Schaerf, A. Giovanardi, and M. Giovanardi. An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation. Journal of Automated Reasoning, 28(2):101-142, 2002. (Pubitemid 34459695)
5. E. Freuder. Eliminating Interchangeable Values in Constraint Satisfaction Problems. In Proceedings of AAAI-91, pages 227-233, 1991.
6. I. Gent, P. Nightingale, and A. Rowley. Encoding Quantified CSPs as Quantified Boolean Formulae. In Proceedings of ECAI-2004, pages 176-180, 2004.
7. E. Giunchiglia, M. Narizzano, and A. Tacchella. Backjumping for Quantified Boolean Logic Satisfiability. In Proceedings of IJCAI-2001, pages 275-281, 2001.
8. N. Mamoulis and K. Stergiou. Algorithms for Quantified Constraint Satisfaction Problems. In Proceedings of CP-2004, pages 752-756, 2004.
9. P. Prosser. Hybrid Algorithms for the Constraint Satisfaction Problem. Computational Intelligence, 9(3):268-299, 1993.
10. S. Ratschan. Quantified Constraints under Perturbations. Journal of Symbolic Computation, 33(4):493-505, 2002.