Volume 14, Issue 1

March 2009

Special Issue on Quantified CSPs and QBF; Guest Editors: Enrico Giunchiglia and Kostas Stergiou

6 articles in this issue

Introduction to the special issue on quantified CSPs and QBF
Enrico Giunchglia
Kostas Stergiou
EditorialNotes 13 July 2008 Pages: 1 - 2
Relatively quantified constraint satisfaction
Manuel Bodirsky
Hubie Chen
OriginalPaper 06 July 2008 Pages: 3 - 15
Value ordering for quantified CSPs
David Stynes
Kenneth N. Brown
OriginalPaper 23 July 2008 Pages: 16 - 37
A solver for QBFs in negation normal form
Uwe Egly
Martina Seidl
Stefan Woltran
OriginalPaper 13 July 2008 Pages: 38 - 79
A self-adaptive multi-engine solver for quantified Boolean formulas
Luca Pulina
Armando Tacchella
OriginalPaper 22 July 2008 Pages: 80 - 116
Efficient handling of universally quantified inequalities
Alexandre Goldsztejn
Claude Michel
Michel Rueher
OriginalPaper 20 July 2008 Pages: 117 - 135

Search