Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Ilario Bonacina

Address Universitat Politècnica de Catalunya (UPC)
Department of Computer Science
Jordi Girona 1-3
08034 Barcelona
Spanien

Projects

As Cooperation Partner
- Current projects
  - Quantified Boolean Formulas: Proof Complexity and Solving (Research Grants)

© 2026 DFG Disclaimer / Copyright / Privacy Policy