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


Allgemein

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


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


Vortragsfolien

Interpolanten Vortrag von Linus Feiten
iSAT Vortrag von Nadine Keddis
RSolver Vortrag von Paola Yuca
Yices Vortrag von Alexander Schultz


Zusatzmaterial

Latex-Vorlage
Seminarvorstellung