Journal: Constraints

Volume 14, Issue 1

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