Pupyrev, Sergey. “OOPS: Optimized One-Planarity Solver via SAT”. Journal of Graph Algorithms and Applications 30, no. 2 (July 17, 2026): 175–197. Accessed July 17, 2026. https://www.jgaa.info/index.php/jgaa/article/view/3114.