ProjektParallele Verfahren und Systeme für das SAT-Solving
Grunddaten
Titel:
Parallele Verfahren und Systeme für das SAT-Solving
Laufzeit:
22.02.2006 bis 30.06.2009
Schlüsselwörter:
SAT-Solving
parallel computing
grid computing
Beteiligte Mitarbeiter/innen
Leiter/innen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Lokale Einrichtungen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik
Mathematisch-Naturwissenschaftliche Fakultät
Mathematisch-Naturwissenschaftliche Fakultät
Geldgeber
Bonn, Nordrhein-Westfalen, Deutschland
Bonn, Nordrhein-Westfalen, Deutschland