Lun Li, Mitchell A. Thornton, Stephen A. Szygenda. A Genetic Approach for Conjunction Scheduling in Symbolic Equivalence Checking. In 2004 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2004), Emerging Trends in VLSI Systems Design, 19-20 February 2004, Lafayette, LA, USA. pages 32-38, IEEE Computer Society, 2004. [doi]
Abstract is missing.