Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)
Book title Buchtitel
Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Heidelberg
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Creignou, Nadia ; Egly, Uwe ; Seidl, Martina | A Framework for the Specification of Random SAT and QSAT Formulas | Konferenzbeitrag Inproceedings  | 2012 |