Documents Presented by Monissa Mohan 1. A highly optimized BCP algorithm Two watched literals Fast...

Slide 1Presented by Monissa Mohan 1 Slide 2  A highly optimized BCP algorithm  Two watched literals  Fast Backtracking  Efficient Decision Heuristic  Focused…