Kirchweger, Markus

3 publications

AAAI 2025 Breaking Symmetries in Quantified Graph Search: A Comparative Study Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider
JAIR 2024 Satisfiability Modulo User Propagators Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
IJCAI 2023 Co-Certificate Learning with SAT Modulo Symmetries Markus Kirchweger, Tomás Peitl, Stefan Szeider