Presented by Monissa Mohan * A highly optimized BCP algorithm Two watched literals Fast Backtracking Efficient Decision Heuristic Focused on recently added clauses Highly…