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