ProjektStrukturbasiertes Algorithm Engineering für SAT-Solving
Grunddaten
Titel:
Strukturbasiertes Algorithm Engineering für SAT-Solving
Laufzeit:
31.05.2007 bis 23.06.2010
Schlüsselwörter:
Algorithm Engineering
SAT-Solver
Strukturanalyse
structural analysis
Netzwerke
networks
Beteiligte Mitarbeiter/innen
Leiter/innen
Mathematisch-Naturwissenschaftliche Fakultät
Universität Tübingen
Universität Tübingen
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