Chaff: Engineering an Efficient SAT Solver Matthew W.Moskewicz, Concor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik Princeton University Modified.
Presented by Monissa Mohan 1. A highly optimized BCP algorithm Two watched literals Fast Backtracking Efficient Decision Heuristic Focused on.
Writing Rules ……hints, strategies and tricks of the trade.
Writing Rules
