Filters
Project
Quasi-Decision Procedures for First-Order Theories of Real Functions (GA21-09458S)
Decision procedures for predicate logical theories play an increasingly important role in computer science, especially in combination with Boolean satisfiability solvers, that is, in the form of SAT modulo theory (SMT) solvers. While there is a vast ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 - 2024 •
- 2 541 tis. Kč •
- 2 541 tis. Kč •
- GA ČR
Řešení projektu: 1. 4. 2021 - 31. 3. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 1 out of 1