Markus Kirchweger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
5
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Graph Choosability via SAT: Beyond the Nullstellensatz. | Markus Kirchweger, Toms Peitl, David Seka, Stefan Szeider |
| 2026 | CP | Smart Cubing for Graph Search: A Comparative Study. | Markus Kirchweger, Toms Peitl, Stefan Szeider, Hai Xia |
| 2026 | IJCAR | Formally Verified Graph Generation with SAT Modulo Symmetries and Lean. | Markus Kirchweger, Pablo Manrique, Stefan Szeider |
| 2025 | AAAI | Breaking Symmetries in Quantified Graph Search: A Comparative Study. | Mikols Janota, Markus Kirchweger, Toms Peitl, Stefan Szeider |
| 2024 | CP | Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper). | Markus Kirchweger, Stefan Szeider |
| 2023 | IJCAI | Co-Certificate Learning with SAT Modulo Symmetries. | Markus Kirchweger, Toms Peitl, Stefan Szeider |
| 2023 | SAT | IPASIR-UP: User Propagators for CDCL. | Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere |
| 2023 | SAT | A SAT Solver's Opinion on the Erdős-Faber-Lovsz Conjecture. | Markus Kirchweger, Toms Peitl, Stefan Szeider |
| 2023 | SAT | SAT-Based Generation of Planar Graphs. | Markus Kirchweger, Manfred Scheucher, Stefan Szeider |
| 2022 | SAT | A SAT Attack on Rota's Basis Conjecture. | Markus Kirchweger, Manfred Scheucher, Stefan Szeider |
| 2021 | CP | SAT Modulo Symmetries for Graph Generation. | Markus Kirchweger, Stefan Szeider |