Andr'e Schidler. SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge). 38th International Symposium on Computational Geometry, SoCG 2022, June 7-10, 2022, Berlin, Germany (Xavier Goaoc and Michael Kerber), volume 224 of LIPIcs, pages 74:1-74:8, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.