Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Max Planck Institute for Informatics
Saarland Informatics Campus
Research Group 1: Automation of Logic

Address Building E1 4
66123 Saarbrücken
Deutschland

GERiT This institution in GERiT

66123 Saarbrücken

Projects

Research Grants
- Completed projects
  - SMArT // Satisfiability Modulo Arithmetic and Theories
    (Applicant Sagraloff, Michael )
  - Symbolic Methods for Biological Networks
    (Applicants Klein, Reinhard ; Schuppert, Andreas ; Seiler, Werner M. ; Walcher, Sebastian )

© 2024 DFG Disclaimer / Copyright / Privacy Policy