Markus Kirchweger
Projektass.(FWF) Dipl.-Ing.

Markus Kirchweger

BSc

Biography

Markus Kirchweger is part of the Scientific Staff at TU Wien.

Projects

ASK-SAT: Alternating Symmetry-Breaking Combinatorial Search with SAT

Project Acronym: ASK-SAT (Alternating Symmetry-Breaking Combinatorial Search …

Recent Publications

Graph Choosability via SAT: Beyond the Nullstellensatz

2026

Breaking Symmetries in Quantified Graph Search: A Comparative Study

2025

Computing small Rainbow Cycle Numbers with SAT modulo Symmetries

2024

SAT Modulo Symmetries for Graph Generation and Enumeration

2024

Satisfiability Modulo User Propagators

2024

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

2023

Co-Certificate Learning with SAT Modulo Symmetries

2023

IPASIR-UP: User Propagators for CDCL

2023

SAT-Based Generation of Planar Graphs

2023

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

2022

A SAT Attack on Rota’s Basis Conjecture

2022

SAT Modulo Symmetries for Graph Generation

2021