Materialien
Vorlesungsmaterial
Seminar: SAT and beyond - Wintersemester 07/08
Material
ILIAS
| Latex-Vorlage | ||
| Seminarvorstellung | ||
Themen
| A Fast Linear-Arithmetic Solver for DPLL(T) | Yices | |
| Conflict Driven Learning in a Quantified Boolean Satisfiability Solver | QBF | |
| Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure | iSAT | |
| Efficient Solving of Quantified Inequality Constraints over Real Numbers | R-Solver | |
| Interpolation and SAT-based Model Checking | Interpolation | |
| Nonchronological Backtracking in Stochastic Boolean Satisfiability | SSAT | |
Vorlesungsaufzeichnungen
| A Survey of Recent Advances in SAT-based Formal Verification | Grundlagenpaper, das alle Teilnehmer lesen sollen | |
| The Quest for Efficient Boolean Satisfiability Solvers | Grundlagenpaper zu SAT-Solver, das alle Teilnehmer vorher lesen sollen | |
Vortragsfolien
| Interpolanten | Vortrag von Linus Feiten | |
| iSAT | Vortrag von Nadine Keddis | |
| RSolver | Vortrag von Paola Yuca | |
| Yices | Vortrag von Alexander Schultz | |