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