SAT Genealogy
SAT Genealogy. Alexander Nadel, Intel, Haifa, Israel The Technion, Haifa, Israel July , 3 2012. Agenda. Introduction Early Days of SAT Solving Core SAT Solving Conflict Analysis and Learning Boolean Constraint Propagation Decision Heuristics Restart Strategies Inprocessing
1.78k views • 160 slides