Pupyrev S. OOPS: Optimized One-Planarity Solver via SAT. JGAA [Internet]. 2026 Jul. 17 [cited 2026 Jul. 27];30(2):175-97. Available from: https://jgaa-v5.cs.brown.edu/index.php/jgaa/article/view/3114