Proceedings

Ondřej Čepek

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
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards