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