ℹ️
🇨🇿
Hledání
Hledat předměty relevantní k dotazu "SAT solver"
SAT solver
Předmět
Předměty
Osoby
Publikace
Studium
class
Rozhodovací procedury a SAT/SMT řešiče
NAIL094 |
Matematicko-fyzikální fakulta
class
Rozhodovací procedury a verifikace
NAIX094 |
Matematicko-fyzikální fakulta
class
Analýza programů a verifikace kódu
+1
NSWI132 |
Matematicko-fyzikální fakulta
class
Logika v informatice
NMAI067 |
Matematicko-fyzikální fakulta