Proceedings

Petr Kučera

Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University , Czech Republic

2 papers in the IJCAI proceedings

IJCAI 2017

Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
with Petr Savický
doi:10.24963/ijcai.2017/721
Details PDF
On Minimum Representations of Matched Formulas (Extended Abstract)
with Ondřej Čepek, Štefan Gurský
doi:10.24963/ijcai.2017/706
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards