[Zurück]

@inproceedings{TUW-140567,
    author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan},
    title = {A Solver for QBFs in Nonprenex Form: Overview and Experimental Results},
    booktitle = {Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling},
    year = {2006},
    numpages = {11},
    eid = {7},
    note = {eingeladen; Vortrag: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, Guangzhou, China; 2006-09-24 -- 2006-09-27}
}