Evaluating the Claims of "SAT Requires Exhaustive Search"

Michael C. Chavrimootoo, Yumeng He, Matan Kotler-Berkowitz +2

In this paper, we take a closer look at the claims made by Xu and Zhou in their paper "SAT Requires Exhaustive Search" [XZ23], which claims to provide a lower bound on the complexi…