@misc{indiciaed34398c60882, title = {Certifiable Near-Optimality: A Simple Framework for Unifying Search and Refutation for (Semi)random CSPs}, author = {Prashanti Anderson and Peter Manohar and Jeff Xu}, year = {2026}, url = {https://arxiv.org/abs/2609.38367}, note = {Source identifier: 2609.38367} }