Presented by Monissa Mohan 1. A highly optimized BCP algorithm Two watched literals Fast Backtracking Efficient Decision Heuristic Focused on.