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