max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Proseminar "Decision Procedures based on SAT (Propositional Satisfiability)" - Literature

DPLL - Procedure for SAT

Steffen Lösch:


DPLL - Implementations for SAT

Daniel Wand:

Christoph Grün:


Planning

Maria Luschkova: