[Zurück]

@article{TUW-165746,
    author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan},
    title = {A Solver for QBFs in Negation Normal Form},
    journal = {Constraints},
    year = {2009},
    volume = {14},
    number = {1},
    pages = {38--79},
    url = {http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10601-008-9055-y}
}