Markus Kirchweger

According to our database, Markus Kirchweger authored at least 18 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Graph Choosability via SAT: Beyond the Nullstellensatz.

Markus Kirchweger, Tomás Peitl, David Seka, Stefan Szeider

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT.

Markus Kirchweger, Tomás Peitl, Bernardo Subercaseaux, Stefan Szeider

CoRR, November, 2025

Smart Cubing for Graph Search: A Comparative Study.

Markus Kirchweger, Hai Xia, Tomás Peitl, Stefan Szeider

CoRR, January, 2025

Supplementary material for Smart Cubing for Graph Search: A Comparative Study.

Tomás Peitl, Stefan Szeider, Markus Kirchweger, Hai Xia

Dataset, January, 2025

Breaking Symmetries in Quantified Graph Search: A Comparative Study.

Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Supplementary Material for Breaking Symmetries in Quantified Graph Search: A Comparative Study.

Tomás Peitl, Markus Kirchweger, Mikolás Janota, Stefan Szeider

Dataset, December, 2024

Supplementary material of "Satisfiability modulo User Propagators".

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

Dataset, September, 2024

SAT Modulo Symmetries for Graph Generation and Enumeration.

Markus Kirchweger, Stefan Szeider

ACM Trans. Comput. Log., 2024

Satisfiability Modulo User Propagators.

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

J. Artif. Intell. Res., 2024

Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper).

Markus Kirchweger, Stefan Szeider

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

Supplementary material of submission "IPASIR-UP: User Propagators for CDCL".

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

Dataset, June, 2023

SAT-Based Generation of Planar Graphs.

Markus Kirchweger, Manfred Scheucher, Stefan Szeider

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture.

Markus Kirchweger, Tomás Peitl, Stefan Szeider

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

IPASIR-UP: User Propagators for CDCL.

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Co-Certificate Learning with SAT Modulo Symmetries.

Markus Kirchweger, Tomás Peitl, Stefan Szeider

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

A SAT Attack on Rota's Basis Conjecture.

Markus Kirchweger, Manfred Scheucher, Stefan Szeider

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

A Beam Search for the Shortest Common Supersequence Problem Guided by an Approximate Expected Length Calculation.

Jonas Mayerhofer, Markus Kirchweger, Marc Huber, Günther R. Raidl

Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2022

2021

SAT Modulo Symmetries for Graph Generation.

Markus Kirchweger, Stefan Szeider

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021