SAT-Based Generation of Planar Graphs

Kirchweger, Markus; Scheucher, Manfred; Szeider, Stefan

doi:10.4230/LIPIcs.SAT.2023.14

by Markus Kirchweger, Manfred Scheucher, Stefan Szeider

Reference:

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

Bibtex Entry:

@string{lipics="LIPIcs"}
@InProceedings{KirchwegerScheucherSzeider23,
  author       = {Markus Kirchweger and Manfred Scheucher and Stefan Szeider},
  title        = {{SAT}-Based Generation of Planar Graphs},
  booktitle = {The 26th International Conference on Theory and
                  Applications of Satisfiability Testing (SAT 2023),
                  July 04-08, 2023, Alghero, Italy},
  year      = {2023},
  editor    = {Meena Mahajan and Friedrich Slivovsky},
  series    = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  pages =	{14:1--14:18},
  volume =	{271},
  doi =		{10.4230/LIPIcs.SAT.2023.14},
  keywords = {reveal,slim},
}