Conflict Analysis in Search Algorithms for Satisfiability.

Joo P. Marques Silva, Karem A. Sakallah

Browse the full ICTAI paper archive.