@inproceedings{Schidler22,
 author = {André Schidler},
 booktitle = {38th International Symposium on Computational
Geometry, SoCG 2022, June 7-10, 2022, Berlin,
Germany},
 doi = {10.4230/LIPIcs.SoCG.2022.74},
 editor = {Xavier Goaoc and
Michael Kerber},
 keywords = {reveal, slim},
 pages = {74:1–74:8},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {SAT-Based Local Search for Plane Subgraph Partitions {(CG} Challenge)},
 url = {https://doi.org/10.4230/LIPIcs.SoCG.2022.74},
 volume = {224},
 year = {2022}
}