[Zurück]

@inproceedings{TUW-213654,
    author = {Seidl, Martina and Lonsing, Florian and Biere, Armin},
    title = {qbf2epr: A Tool for Generating EPR Formulas from QBF},
    booktitle = {Proceedings of PAAR 2012},
    year = {2012},
    editor = {Fontaine, Pascal and Schmidt, Renate and Schulz, Stephan},
    numpages = {8},
    url = {http://www.eprover.org/EVENTS/PAAR-2012/PAAR2012.pdf},
    keywords = {QBF, EPR},
    note = {Vortrag: Third Workshop on Practical Aspects of Automated Reasoning, Manchester; 2012-06-30 -- 2012-07-01}
}