Uwe Egly, Martina Seidl, Stefan Woltran. A solver for QBFs in negation normal form. Constraints, 14(1):38-79, 2009. [doi]
@article{EglySW09,
title = {A solver for QBFs in negation normal form},
author = {Uwe Egly and Martina Seidl and Stefan Woltran},
year = {2009},
doi = {10.1007/s10601-008-9055-y},
url = {http://dx.doi.org/10.1007/s10601-008-9055-y},
tags = {constraints},
researchr = {https://researchr.org/publication/EglySW09},
cites = {0},
citedby = {0},
journal = {Constraints},
volume = {14},
number = {1},
pages = {38-79},
}