An AIG-Based QBF-solver using SAT for preprocessing.
| Autor: | Pigorsch, Florian, Scholl, Christoph |
|---|---|
| Zdroj: | Proceedings of the 47th Design Automation Conference; 6/13/2010, p170-175, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Pigorsch, Florian, Scholl, Christoph |
|---|---|
| Zdroj: | Proceedings of the 47th Design Automation Conference; 6/13/2010, p170-175, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|