Solving school time tables with SAT

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

Solving school time tables with SAT

Topic no longer available

•   Supervisor Norbert Manthey
•   Wissensverarbeitung
•   Start

Use existing Technology to solve the time tabling problem with SAT technology.

Extensions of the problem are adding optimization constraints, looking for all valid schedules, finding inconsistencies in specifications and more.