Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
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