Exploiting structure in an AIG based QBF solver.
| Autor: | Pigorsch, Florian, Scholl, Christoph |
|---|---|
| Zdroj: | Proceedings of the Conference: Design, Automation & Test in Europe; 4/20/2009, p1596-1601, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Pigorsch, Florian, Scholl, Christoph |
|---|---|
| Zdroj: | Proceedings of the Conference: Design, Automation & Test in Europe; 4/20/2009, p1596-1601, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|