[Zurück]

@inproceedings{TUW-140235,
    author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan},
    title = {A Solver for QBFs in Nonprenex Form},
    booktitle = {Proceedings of the ECAI 2006},
    year = {2006},
    pages = {477--481},
    publisher = {IOS Press},
    url = {http://www.big.tuwien.ac.at/research/publications/2006/3506.pdf},
    isbn = {1-58603-642-4},
    note = {Vortrag: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy; 2006-08-29 -- 2006-09-01}
}