ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "evaluation campaigns"
evaluation campaigns
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Miloš Chromý Ph.D.
Externí osoba na Matematicko-fyzikální fakulta
6 publikací
Publikace
publication
Properties of Switch-List Representations of Boolean Functions
2020 |
Matematicko-fyzikální fakulta
publication
Switch-List Representations in a Knowledge Compilation Map
2020 |
Matematicko-fyzikální fakulta
publication
Compiling SL representations of Boolean functions into OBDDs
2020 |
Matematicko-fyzikální fakulta
publication
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
2019 |
Matematicko-fyzikální fakulta
publication
Succinctness of Switch-List Representations of Boolean Functions
2018 |
Matematicko-fyzikální fakulta
publication
The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems
2014 |
Matematicko-fyzikální fakulta