BlockSolve: A bottom-up approach for solving quantified CSPs

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

Volumn 4204 LNCS, Issue , 2006, Pages 635-649

  Verger, Guillaume ^a   Bessiere, Christian ^a  

^a LIRMM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING; TREES (MATHEMATICS);

BLOCKSOLVE ALGORITHMS; CONSTRAINT COMMUNITIES; QCSP SOLVER; QUANTIFIED CONSTRAINT SATISFACTION PROBLEM (QCSP);

CONSTRAINT THEORY;

EID: 33750329935     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889205_45     Document Type: Conference Paper

References (10)

1. Biere, A.: Resolve and expand. In: Proceedings SAT'04, Vancouver BC (2004)
2. Pan, G., Vardi, M.: Symbolic decision procedures for QBF. In: Proceedings CP'04, Toronto, Canada (2004) 453-467
3. Gent, I., Nightingale, P., Stergiou, K.: QCSP-solve: A solver for quantified constraint satisfaction problems. In: Proceedings IJCAI'05. Edinburgh, Scotland (2005) 138-143
4. Bordeaux, L., Montfroy, E.: Beyond NP: Arc-consistency for quantified constraints. In: Proceedings CP'02, Ithaca NY (2002) 371-386
5. Mamoulis, N., Stergiou, K.: Algorithms for quantified constraint satisfaction problems. In: Proceedings CP'04, Toronto, Canada (2004) 752-756
6. Stergiou, K.: Repair-based methods for quantified csps. In: Proceedings CP'05, Sitges, Spain (2005) 652-666
7. Haralick, R., Elliott, G.: Increasing tree seach efficiency for constraint satisfaction problems. Artificial Intelligence 14 (1980) 263-313
8. Fargier, H., Lang, J., Schiex, T.: Mixed constraint satisfaction: a framework for decision problems under incomplete knowledge. In: Proceedings AAAI'96, Portland OR (1996) 175-180
9. Freuder, E., Hubbe, P.: Extracting constraint satisfaction subproblems. In: Proceedings IJCAF95, Montréal, Canada (1995) 548-557
10. Choco: A Java library for constraint satisfaction problems, constraint programming and explanation-based constraint solving. URL: http://choco-solver. net (2005)