Gurský, Stefan

2 publications

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