Pupyrev, S. OOPS: Optimized One-Planarity Solver via SAT. JGAA 2026, 30, 175-197.