Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Sand 14
72076 Tübingen
Deutschland

GERiT This institution in GERiT

72076 Tübingen

Projects

Research Grants
- Completed projects
  - Parallele Verfahren und Systeme für das SAT-Solving
    (Applicant Blochinger, Wolfgang )
Priority Programmes
- Completed projects
  - Structure-based Algorithm Engineering for SAT-Solving
    (Applicant Kaufmann, Ph.D., Michael )

© 2024 DFG Disclaimer / Copyright / Privacy Policy