http://www.bibsonomy.org/author/Zhao/2001 BibSonomy RSS Feed for /author/Zhao/2001 SAT http://www.bibsonomy.org/bibtex/2f0eef14add709af163f0ef7e91caaf32/zeno zeno 2007-05-25T13:58:36+02:00 2001 SAT-solver chaff clause learning Moskewicz, M.W. & Madigan, C.F. & Zhao, Y. & Zhang, L. & Malik, S. (2001). Chaff: Engeneering an Efficient SAT Solver. Design Automation Conf. [BibSonomy: 2001 SAT-solver chaff clause learning] ]]>