Markus Kirchweger

16 papers A* 3A 6B 1Journal 6
YearRankTypeTitle / Venue / Authors
2026 A* conf
Graph Choosability via SAT: Beyond the Nullstellensatz.
AAAI
Markus Kirchweger, Tomás Peitl, David Seka, Stefan Szeider
2025 A* conf
Breaking Symmetries in Quantified Graph Search: A Comparative Study.
AAAI
Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider
2025 J jnl
Breaking Symmetries in Quantified Graph Search: A Comparative Study.
CoRR
Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider
2025 J jnl
From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT.
CoRR
Markus Kirchweger, Tomás Peitl, Bernardo Subercaseaux, Stefan Szeider
2025 J jnl
Smart Cubing for Graph Search: A Comparative Study.
CoRR
Markus Kirchweger, Hai Xia, Tomás Peitl, Stefan Szeider
2024 A conf
Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper).
CP
Markus Kirchweger, Stefan Szeider
2024 J jnl
SAT Modulo Symmetries for Graph Generation and Enumeration.
ACM Trans. Comput. Log.
Markus Kirchweger, Stefan Szeider
2024 J jnl
Satisfiability Modulo User Propagators.
J. Artif. Intell. Res.
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
2023 A conf
A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture.
SAT
Markus Kirchweger, Tomás Peitl, Stefan Szeider
2023 A* conf
Co-Certificate Learning with SAT Modulo Symmetries.
IJCAI
Markus Kirchweger, Tomás Peitl, Stefan Szeider
2023 J jnl
Co-Certificate Learning with SAT Modulo Symmetries.
CoRR
Markus Kirchweger, Tomás Peitl, Stefan Szeider
2023 A conf
IPASIR-UP: User Propagators for CDCL.
SAT
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
2023 A conf
SAT-Based Generation of Planar Graphs.
SAT
Markus Kirchweger, Manfred Scheucher, Stefan Szeider
2022 B conf
A Beam Search for the Shortest Common Supersequence Problem Guided by an Approximate Expected Length Calculation.
EvoCOP
Jonas Mayerhofer, Markus Kirchweger, Marc Huber, Günther R. Raidl
2022 A conf
A SAT Attack on Rota's Basis Conjecture.
SAT
Markus Kirchweger, Manfred Scheucher, Stefan Szeider
2021 A conf
SAT Modulo Symmetries for Graph Generation.
CP
Markus Kirchweger, Stefan Szeider