Fast SAT Solvers and Practical Decision Procedures

Instructor Edmund Clarke

Reading

· GRASP paper

· GRASP slides

· Chaff paper and also a survey paper by the authors of  Chaff

· Chaff slides

· Berkmin paper

· MiniSAT and SATElite papers

· Parallel SAT papers: GridSAT and Multithreaded SAT

· Slides on Presburger Arithmetic

· Papers on Omega Test and Cooper’s algorithm

· Slides on Satisfiability Theshold for Random k-SAT

· Backdoor Sets in SAT Instances

· Backdoor Sets in SAT Instances

Schedule:  Fridays 12:00pm—1:20pm

Location:   Wean Hall 4623