Solving school time tables with SAT

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • 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.