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