SAT-Based Generation of Planar Graphs

Markus Kirchweger, Manfred Scheucher, Stefan Szeider
January 2023
bib Project Project DOI

Abstract

Full Citation:

Markus Kirchweger, Manfred Scheucher, Stefan Szeider. SAT-Based Generation of Planar Graphs. The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan and Friedrich Slivovsky), volume 271 of LIPIcs, pages 14:1-14:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Type
Conference Paper
Reveal Slim
Markus Kirchweger
Markus Kirchweger

Markus Kirchweger is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.