Skip to content

OOPS: Optimized One-Planarity Solver via SAT.

Sergey Pupyrev

VenueAGD
Year2025
ProceedingsGD

Browse the full GD paper archive.