SAT

2026-01-09 Verified CNF Encodings
2025-11-06 Computer Assisted Mathematics: A Case Study in Discrete Geometry