Milos Chromý

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 7

Top Topics

Randomly Generated

Boolean Functions

Prime Implicants

Np Complete Problems

Top Venues

Fundam. Informaticae

J. Artif. Intell. Res.

Publications

Milos Chromý, Markus Sinnl
On Solving the Minimum Common String Partition Problem by Decision Diagrams. ICORES (2022)
Milos Chromý, Markus Sinnl
On Solving the Minimum Common String Partition Problem by Decision Diagrams. CoRR (2021)
Ondrej Cepek, Milos Chromý
Switch-List Representations in a Knowledge Compilation Map. IJCAI (2020)
Milos Chromý, Ondrej Cepek
Properties of Switch-List Representations of Boolean Functions. J. Artif. Intell. Res. 69 (2020)
Milos Chromý, Ondrej Cepek
Compiling SL representations of Boolean functions into OBDDs. ISAIM (2020)
Milos Chromý, Petr Kucera
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability. SOFSEM (2019)
Milos Chromý, Petr Kucera
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability. CoRR (2018)
Pavel Surynek, Petra Surynková, Milos Chromý
The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems. Fundam. Informaticae 135 (3) (2014)