Partial witnesses from preprocessed quantified Boolean formulas.
| Autor: | Seidl, Martina, Konighofer, Robert |
|---|---|
| Zdroj: | 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE); 01/01/2014, p1-6, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|