Proceedings of PAAR 2012
Book title Buchtitel
Proceedings of PAAR 2012
Editor Herausgeber_in
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Seidl, Martina ; Lonsing, Florian ; Biere, Armin ; Fontaine, Pascal ; Schmidt, Renate ; Schulz, Stephan | qbf2epr: A Tool for Generating EPR Formulas from QBF | Konferenzbeitrag Inproceedings | 2012 |