PUPYREV, Sergey. OOPS: Optimized One-Planarity Solver via SAT. Journal of Graph Algorithms and Applications, [S. l.], v. 30, n. 2, p. 175–197, 2026. DOI: 10.7155/jgaa.v30i2.3114. Disponível em: https://www.jgaa.info/index.php/jgaa/article/view/3114. Acesso em: 17 jul. 2026.