Markus Kirchweger

According to our database, Markus Kirchweger authored at least 7 papers between 2021 and 2023.

Collaborative distances:

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

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