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