Publikace
- Properties of Switch-List Representations of Boolean Functions2020 | Matematicko-fyzikální fakulta
- Switch-List Representations in a Knowledge Compilation Map2020 | Matematicko-fyzikální fakulta
- Compiling SL representations of Boolean functions into OBDDs2020 | Matematicko-fyzikální fakulta
- Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability2019 | Matematicko-fyzikální fakulta
- Succinctness of Switch-List Representations of Boolean Functions2018 | Matematicko-fyzikální fakulta
- The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems2014 | Matematicko-fyzikální fakulta
Loading network view...