%0 Journal Article %1 journals/tcad/AnderssonBCH03 %A Andersson, Gunnar %A Bjesse, Per %A Cook, Byron %A Hanna, Ziyad %D 2003 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K %N 8 %P 1042-1048 %T Design automation with mixtures of proof strategies for propositional logic. %U http://dblp.uni-trier.de/db/journals/tcad/tcad22.html#AnderssonBCH03 %V 22

@article{journals/tcad/AnderssonBCH03, added-at = {2023-12-13T01:58:40.000+0100}, author = {Andersson, Gunnar and Bjesse, Per and Cook, Byron and Hanna, Ziyad}, biburl = {https://www.bibsonomy.org/bibtex/2e8201e2c1305c760b9b65ba0980f667b/admin}, ee = {https://doi.org/10.1109/TCAD.2003.814959}, interhash = {792330accf964b69c98379d84dc5d92a}, intrahash = {e8201e2c1305c760b9b65ba0980f667b}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {}, number = 8, pages = {1042-1048}, timestamp = {2023-12-13T01:58:40.000+0100}, title = {Design automation with mixtures of proof strategies for propositional logic.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad22.html#AnderssonBCH03}, volume = 22, year = 2003 }