Relaxations and explanations for quantified constraint satisfaction problems

Alex Ferguson; Barry O'Sullivan

doi:10.1007/11889205_52

Relaxations and explanations for quantified constraint satisfaction problems

Alex Ferguson
, Barry O'Sullivan

Research output: Chapter in Book/Report/Conference proceedings › Chapter › peer-review

Original language	English
Title of host publication	Principles and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings
Publisher	Springer Verlag
Pages	690-694
Number of pages	5
ISBN (Print)	3540462678, 9783540462675
DOIs	https://doi.org/10.1007/11889205_52
Publication status	Published - 2006
Externally published	Yes
Event	12th International Conference on Principles and Practice of Constraint Programming, CP 2006 - Nantes, France Duration: 25 Sep 2006 → 29 Sep 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4204 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Conference on Principles and Practice of Constraint Programming, CP 2006
Country/Territory	France
City	Nantes
Period	25/09/06 → 29/09/06

Access to Document

10.1007/11889205_52

Cite this

Ferguson, A., & O'Sullivan, B. (2006). Relaxations and explanations for quantified constraint satisfaction problems. In Principles and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings (pp. 690-694). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4204 LNCS). Springer Verlag. https://doi.org/10.1007/11889205_52

Ferguson, Alex ; O'Sullivan, Barry. / Relaxations and explanations for quantified constraint satisfaction problems. Principles and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings. Springer Verlag, 2006. pp. 690-694 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{8b9e5dfa46764de9836e04e80298d317,

title = "Relaxations and explanations for quantified constraint satisfaction problems",

author = "Alex Ferguson and Barry O'Sullivan",

year = "2006",

doi = "10.1007/11889205\_52",

language = "English",

isbn = "3540462678",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "690--694",

booktitle = "Principles and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings",

address = "Germany",

note = "12th International Conference on Principles and Practice of Constraint Programming, CP 2006 ; Conference date: 25-09-2006 Through 29-09-2006",

}

Ferguson, A & O'Sullivan, B 2006, Relaxations and explanations for quantified constraint satisfaction problems. in Principles and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4204 LNCS, Springer Verlag, pp. 690-694, 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, Nantes, France, 25/09/06. https://doi.org/10.1007/11889205_52

Relaxations and explanations for quantified constraint satisfaction problems. / Ferguson, Alex; O'Sullivan, Barry.
Principles and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings. Springer Verlag, 2006. p. 690-694 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4204 LNCS).

Research output: Chapter in Book/Report/Conference proceedings › Chapter › peer-review

TY - CHAP

T1 - Relaxations and explanations for quantified constraint satisfaction problems

AU - Ferguson, Alex

AU - O'Sullivan, Barry

PY - 2006

Y1 - 2006

UR - https://www.scopus.com/pages/publications/33750362730

U2 - 10.1007/11889205_52

DO - 10.1007/11889205_52

M3 - Chapter

AN - SCOPUS:33750362730

SN - 3540462678

SN - 9783540462675

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

SP - 690

EP - 694

BT - Principles and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings

PB - Springer Verlag

T2 - 12th International Conference on Principles and Practice of Constraint Programming, CP 2006

Y2 - 25 September 2006 through 29 September 2006

ER -

Ferguson A, O'Sullivan B. Relaxations and explanations for quantified constraint satisfaction problems. In Principles and Practice of Constraint Programming - CP 2006 - 12th International Conference, CP 2006, Proceedings. Springer Verlag. 2006. p. 690-694. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11889205_52

Relaxations and explanations for quantified constraint satisfaction problems

Publication series

Conference

Access to Document

Other files and links

Cite this