Name Card

Full name Familienname, Vorname
Kirchweger, Markus
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kirchweger-2023-A SAT Solvers Opinion on the Erdos-Faber-Lovasz Conjecture-vor.pdf.jpgKirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan A SAT Solver's Opinion on the Erdos-Faber-Lovász ConjectureInproceedings Konferenzbeitrag 9-Aug-2023
22023-SAT-Based Generation of Planar Graphs-vor.pdf.jpgMarkus Kirchweger ; Scheucher, Manfred ; Stefan Szeider SAT-Based Generation of Planar GraphsInproceedings Konferenzbeitrag 9-Aug-2023
3Fazekas-2023-IPASIR-UP User Propagators for CDCL-vor.pdf.jpgFazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin IPASIR-UP: User Propagators for CDCLInproceedings Konferenzbeitrag 9-Aug-2023
4Kirchweger Markus - 2023 - Dynamic Symmetry Breaking for SAT-Encodings of...pdf.jpgKirchweger, Markus Dynamic symmetry breaking for SAT-encodings of combinatorial problemsThesis Hochschulschrift 2023
5Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan Co-Certificate Learning with SAT Modulo SymmetriesInproceedings Konferenzbeitrag 2023
6Kirchweger-2022-A SAT Attack on Rotas Basis Conjecture-vor.pdf.jpgKirchweger, Markus ; Scheucher, Manfred ; Szeider, Stefan A SAT Attack on Rota’s Basis ConjectureInproceedings Konferenzbeitrag 28-Jul-2022
7Mayerhofer-2022-A Beam Search fortheShortest Common Supersequence Problem ...-am.pdf.jpgMayerhofer, Jonas ; Kirchweger, Markus ; Huber, Marc ; Raidl, Günther A Beam Search for the Shortest Common Supersequence Problem Guided by an Approximate Expected Length CalculationInproceedings Konferenzbeitrag 2022
8Kirchweger, Markus ; Szeider, Stefan SAT Modulo Symmetries for Graph GenerationKonferenzbeitrag Inproceedings 2021