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