TY  - RPRT
TI  - Certifiable Near-Optimality: A Simple Framework for Unifying Search and Refutation for (Semi)random CSPs
AU  - Prashanti Anderson
AU  - Peter Manohar
AU  - Jeff Xu
PY  - 2026
UR  - https://arxiv.org/abs/2609.38367
ID  - 2609.38367
ER  -