Ondřej Čepek

Charles University , Faculty of Mathematics and Physics , Department of Theoretical Computer Science and Mathematical Logic , Malostranské nám. 25 , 118 00 Praha 1 , Czech Republic

2 papers in the IJCAI proceedings

IJCAI 2020

Switch-List Representations in a Knowledge Compilation Map

with Miloš Chromý

doi:10.24963/ijcai.2020/229

Details PDF

IJCAI 2017

On Minimum Representations of Matched Formulas (Extended Abstract)

with Štefan Gurský, Petr Kučera

doi:10.24963/ijcai.2017/706

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings