Uwe Egly Martina Seidl Stefan Woltran A solver for QBFs in negation normal form. 38-79 2009 14 Constraints 1 http://dx.doi.org/10.1007/s10601-008-9055-y db/journals/constraints/constraints14.html#EglySW09