A real SAT solution. P is not always hard

(zenodo.org) by GeometryKernel | Jul 19, 2026 | 0 comments on HN