BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning.
Saved in:
| Title: | BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning. |
|---|---|
| Authors: | Chih-Fan Lai1, Jiang, Jie-Hong R.2, jhjiang@cc.ee.ntu.edu.tw, Kuo-Hua Wang3 |
| Source: | DAC: Annual ACM/IEEE Design Automation Conference; Jun2010, p499-504, 6p, 2 Diagrams, 5 Graphs |
| Database: | Applied Science & Technology Source |
| ISSN: | 0738100X |
|---|
