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