Design, Automation & Test in Europe Conference & Exhibition (DATE)
Book title Buchtitel
Design, Automation & Test in Europe Conference & Exhibition (DATE)
Publisher Herausgeber
IEEE
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Seidl, Martina ; Könighofer, Robert | Partial witnesses from preprocessed quantified Boolean formulas | Konferenzbeitrag Inproceedings  | 2014 |