Pupyrev, Sergey. 2026. “OOPS: Optimized One-Planarity Solver via SAT”. Journal of Graph Algorithms and Applications 30 (2):175-97. https://doi.org/10.7155/jgaa.v30i2.3114.