Markus Kirchweger

Algorithms and Complexity Group , TU Wien , Austria

1 paper in the IJCAI proceedings

IJCAI 2023

Co-Certificate Learning with SAT Modulo Symmetries

with Tomáš Peitl, Stefan Szeider

doi:10.24963/ijcai.2023/216

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings