Markus Kirchweger

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Shortest Common Supersequence

Satisfiability Problem

Top Venues

Publications

Markus Kirchweger, Stefan Szeider
Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper). CP (2024)
Markus Kirchweger, Tomás Peitl, Stefan Szeider
A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture. SAT (2023)
Markus Kirchweger, Tomás Peitl, Stefan Szeider
Co-Certificate Learning with SAT Modulo Symmetries. IJCAI (2023)
Markus Kirchweger, Tomás Peitl, Stefan Szeider
Co-Certificate Learning with SAT Modulo Symmetries. CoRR (2023)
Markus Kirchweger, Manfred Scheucher, Stefan Szeider
SAT-Based Generation of Planar Graphs. SAT (2023)
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
IPASIR-UP: User Propagators for CDCL. SAT (2023)
Markus Kirchweger, Manfred Scheucher, Stefan Szeider
A SAT Attack on Rota's Basis Conjecture. SAT (2022)
Jonas Mayerhofer, Markus Kirchweger, Marc Huber, Günther R. Raidl
A Beam Search for the Shortest Common Supersequence Problem Guided by an Approximate Expected Length Calculation. EvoCOP (2022)
Markus Kirchweger, Stefan Szeider
SAT Modulo Symmetries for Graph Generation. CP (2021)