Zchaff2004: An Efficient SAT Solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik. Zchaff2004: An Efficient SAT Solver. In Holger H. Hoos, David G. Mitchell, editors, Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers. Volume 3542 of Lecture Notes in Computer Science, pages 360-375, Springer, 2004. [doi]

This author has not been identified. Look up 'Yogesh S. Mahajan' in GoogleThis author has not been identified. Look up 'Zhaohui Fu' in GoogleThis author has not been identified. Look up 'Sharad Malik' in Google

runs on WebDSL