Proceedings of the 7th International Joint Conference on Automated Reasoning
Book title Buchtitel
Proceedings of the 7th International Joint Conference on Automated Reasoning
Publisher Herausgeber
LNCS/Springer
Place of publishing Erscheinungsort
8562
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Heule, Marijn ; Seidl, Martina ; Biere, Armin | A Unified Proof System for QBF Preprocessing | Konferenzbeitrag Inproceedings  | 2014 |