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

André Schidler
January 2022
PDF Cite Project Project DOI
Type
Conference Paper
Reveal Slim