zum Inhalt springen

MaxSAT-Solving

Im Rahmen des MaxSAT-Solving-Projekts beschäftigen wir uns mit der Entwicklung von Algorithmen zum exakten Lösen von diversen Varianten des NP-schweren MaxSAT-Problems. Es wurden sowohl sequentielle als auch parallele MaxSAT-Solver entwickelt.

Downloads

 

Veröffentlichungen

  • Bartmann, Martin: Auf Unerfüllbarkeit basiertes MaxSAT und dessen Evaluierung, Masterarbeit, Univ. Köln, 2014.

Veröffentlichungen

Veröffentlichun

Veröffentlichungen

Abschlussarbeiten: Im Rahmen des Projekts bieten wir Themen für Abschlussarbeiten aus dem Bereich Effiziente Algorithmen, Kombinatorik und Parallele Programmierung an. Sollten Sie Interesse an einer Mitarbeit haben, wenden Sie sich bitte an Andreas Wotzlaw.