Teaching


AUTOMATED PLANNING AND SCHEDULING

A lecture at KIT with Dominik Schreiber on practically orientend automated (Artificial Intelligence) planning and scheduling. Lecture Homepage.

PRACTICAL SAT SOLVING

A lecture at KIT with Carsten Sinz on practically orientend Boolean Satisfiability (SAT) solving. Lecture Homepage.

Design downloaded from free website templates.