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