TY  - RPRT
TI  - Toward a Formally Verified Optimality Certificate for OGR(29): A SAT-Encoding Methods Note with Small-Case Demos
AU  - Tong Niu
PY  - 2026
UR  - https://arxiv.org/abs/2609.05421
ID  - 2609.05421
ER  -