@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} }