Third Workshop on Practical Aspects of Automated Reasoning
Event name
Third Workshop on Practical Aspects of Automated Reasoning
Start date
30-06-2012
End date
01-07-2012
Location
Manchester
Country
Event format Veranstaltungsformat
On Site
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 |