Cepek, Ondrej

4 publications

JAIR 2020 Properties of Switch-List Representations of Boolean Functions Milos Chromý, Ondrej Cepek

IJCAI 2020 Switch-List Representations in a Knowledge Compilation mAP Ondrej Cepek, Milos Chromý

IJCAI 2017 On Minimum Representations of Matched Formulas (Extended Abstract) Ondrej Cepek, Stefan Gurský, Petr Kucera

JAIR 2014 On Minimum Representations of Matched Formulas Ondrej Cepek, Stefan Gurský, Petr Kucera