Document Versions

Chaff: Engineering an Efficient SAT Solver –Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik — 2001
Chaff: Engineering an Efficient SAT Solver –Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik — 2001 — ANNUAL ACM IEEE DESIGN AUTOMATION CONFERENCE
Chaff: Engineering an efficient SAT solver –Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik — 2001 — in Proceedings of the 38th ACM/IEEE Design Automation Conference, (Las Vegas
Chaff: Engineering an Efficient SAT Solver –Matthew W. Moskewicz, Conor F. Madigan — 2001