Anwendung von SAT Solvern

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.