ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "findings"
findings
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Martin Babka
Externí akademický pracovník na Matematicko-fyzikální fakulta
5 publikací
Publikace
publication
Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas
2013 |
Matematicko-fyzikální fakulta
publication
Finding Minimum Satisfying Assignments of Boolean Formulas
2013 |
Matematicko-fyzikální fakulta
publication
Finding Minimum Satisfying Assignments of Boolean Formulas
Publikace bez příslušnosti k fakultě
publication
ON ONLINE LABELING WITH LARGE LABEL SET
2019 |
Matematicko-fyzikální fakulta
publication
Complexity Issues Related to Propagation Completeness
2013 |
Matematicko-fyzikální fakulta
Loading network view...