Savický, Petr

4 publications

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

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