← all research papers

Nathan Acheampong, Ben Davis, Robert Robere

We prove Sherali-Adams is exponentially weaker than Res(2), and also that it is not automatable unless P = NP.

Manuscript 2026. [PDF]

Talk at Newton Institute (October 2026), [Part 1], [Part 2]