Kucera, Petr

7 publications

AAAI 2024 A Compiler for Weak Decomposable Negation Normal Form Petr Illner, Petr Kucera

AAAI 2021 Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings Petr Kucera, Petr Savický

JAIR 2020 Bounds on the Size of PC and URC Formulas Petr Kucera, Petr Savický

IJCAI 2017 Generating Models of a Matched Formula with a Polynomial Delay (Extended Abstract) Petr Savický, Petr Kucera

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

JAIR 2016 Generating Models of a Matched Formula with a Polynomial Delay Petr Savický, Petr Kucera

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