Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

1 (0,061s)

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
  • 1 - 1 z 1