Name Card

Full name Familienname, Vorname
Scheucher, Manfred
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
12023-SAT-Based Generation of Planar Graphs-vor.pdf.jpgMarkus Kirchweger ; Scheucher, Manfred ; Stefan Szeider SAT-Based Generation of Planar GraphsInproceedings Konferenzbeitrag 9-Aug-2023
2Kirchweger-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