You have Guest access.
Log In
Volume 1 / 1996 - Volume 17 / 2012
Special Issue on Quantified CSPs and QBF; Guest Editors: Enrico Giunchiglia and Kostas Stergiou
1-2
Introduction to the special issue on quantified CSPs and QBF
Enrico Giunchglia and Kostas Stergiou
3-15
Relatively quantified constraint satisfaction
Manuel Bodirsky and Hubie Chen
16-37
Value ordering for quantified CSPs
David Stynes and Kenneth N. Brown
38-79
A solver for QBFs in negation normal form
Uwe Egly, Martina Seidl and Stefan Woltran
80-116
A self-adaptive multi-engine solver for quantified Boolean formulas
Luca Pulina and Armando Tacchella
117-135
Efficient handling of universally quantified inequalities
Alexandre Goldsztejn, Claude Michel and Michel Rueher
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info