Materialien
Vorlesungsmaterial
Heuristiken zur Lösung von SAT- und QSAT-Problemen - Wintersemester 04/05
Material
Themen
| 01: Davis Puttnam, DPLL, Stalmarck | Alejandro Czutro |
| 02: GRASP | Jan Rehm |
| 03: Chaff, BerkMin | Johann Prediger |
| 04: MiniSAT, SATIRE | Zeno Gantner |
| 05: SAT basiertes CEC | Julia Peltason |
| 06: Robust Boolean Reasoning (AIG) | Rainer Kümmerle |
| 07: Bounded Model Checking | Salman Munshey |
| 08: CirCUs | Dominik Joho |
| 09: Evaluate | Marina Tum |
| 10: QuBE | Jörg-Dieter Stückler |
| 11: QuBE++ | Christian Dornhege |
| 12: Quaffle | Bettina Braitling |
| 13: Solver Biere, WalkQSAT | Bastian Steder |