Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Eberhard Karls Universität Tübingen
Wilhelm-Schickard-Institut für Informatik
Arbeitsbereich Symbolisches Rechnen

Adresse Sand 14
72076 Tübingen
Deutschland

GERiT Diese Institution in GERiT

72076 Tübingen

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Parallele Verfahren und Systeme für das SAT-Solving
    (Antragsteller Blochinger, Wolfgang )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Strukturbasiertes Algorithm Engineering für SAT-Solving
    (Antragsteller Kaufmann, Ph.D., Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz