Co-Certificate Learning with SAT Modulo Symmetries

Abstract

Full Citation:

Markus Kirchweger, Tom'a\vs Peitl, Stefan Szeider. Co-Certificate Learning with SAT Modulo Symmetries. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pages 1944-1953, 2023, ijcai.org. (Note: Main Track)

Markus Kirchweger

Markus Kirchweger is a Project Assistant at the Algorithms and Complexity Group.

Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.