SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge)

Schidler, André

doi:10.4230/LIPIcs.SoCG.2022.74

by André Schidler

Reference:

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

Bibtex Entry:

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