Anderes Projekt
Informatik
Eingetragen von:
Norbert Manthey
Lehrstuhl:
Knowledge Representation and Reasoning
Betreuung:
Norbert Manthey
Link zur Webseite

Anwendung von SAT Solvern

Lösen von Puzzeln, Event Scheduling oder Brechen von Kryptoalgorithmen
Peter Großmann, Peter Steinke, Norbert Manthey
Im Laufe der letzten Jahre wurde am Lehrstuhl ein leistungsfähiger SAT Solver entwickelt. Es gibt viele Anwendungen, die nach SAT kodiert werden können. Aufgrund der aktuellen Entwicklungen an SAT Solvern ist es möglich, industrielle und wissenschaftliche Probleme schneller zu lösen wenn ein SAT Solver verwendet wird. In Zukunft soll der SAT Solver weiterentwickelt werden, sodass er auch Optimierungsaufgaben effizient lösen kann. Wir suchen kontinuierlich nach mehr Anwendungsgebieten für unseren Solver.