S. Pupyrev, “OOPS: Optimized One-Planarity Solver via SAT”, JGAA, vol. 30, no. 2, pp. 175–197, Jul. 2026.