Design Automation With Mixtures of Proof Strategies for Propositional Logic.
Saved in:
| Title: | Design Automation With Mixtures of Proof Strategies for Propositional Logic. |
|---|---|
| Authors: | Anderson, Gunnar, Bjesse, Per, Cook, Byron |
| Source: | IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; August 2003, Vol. 22 Issue 8, p1042-1048, 7p |
| Database: | Applied Science & Technology Source |
| ISSN: | 02780070 |
|---|---|
| DOI: | 10.1109/TCAD.2003.814959 |
