Gunnar Andersson Per Bjesse Byron Cook Ziyad Hanna Design automation with mixtures of proof strategies for propositional logic. 1042-1048 2003 22 IEEE Trans. on CAD of Integrated Circuits and Systems 8 http://doi.ieeecomputersociety.org/10.1109/TCAD.2003.814959 db/journals/tcad/tcad22.html#AnderssonBCH03