logo
Introduction to the special issue on quantified CSPs and QBF
Relatively quantified constraint satisfaction
Value ordering for quantified CSPs
A solver for QBFs in negation normal form
A self-adaptive multi-engine solver for quantified Boolean formulas
Efficient handling of universally quantified inequalities