INFO:
Abstract Conflict Driven Clause Learning - Microsoft Research