Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Université de Liège
Institut d'Electricité Montéfiore

Address 4000 Liège 1
Belgien

4000 Liège 1

Projects

Research Grants
- Current projects
  - SMT Arithmetic Reasoning Techniques
    (Applicant Ábrahám, Erika )
  - Ultra-Fast Event Generation using Modern Neural Networks
    (Applicant Plehn, Tilman )
- Completed projects
  - SMArT // Satisfiability Modulo Arithmetic and Theories
    (Applicant Sagraloff, Michael )

© 2024 DFG Disclaimer / Copyright / Privacy Policy