Filtry
Projekt
Kvazirozhodovací procedury pro logické teorie reálných funkcí (GA21-09458S)
Rozhodovací procedury pro teorie v predikátové logice hrají čím dál větší roli v informatice, zejména v kombinaci s řešiči pro Boolovskou splnitelnost, tj. v SAT modulo teorie (SMT) řešičích. Existuje široké pole výzkumu rozhodovacích procedur pro ce...
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 z 1