Lower bounds for CSP refutation by SDP hierarchies

10 Oct 2016 Mori Ryuhei Witmer David

For a $k$-ary predicate $P$, a random instance of CSP$(P)$ with $n$ variables and $m$ constraints is unsatisfiable with high probability when $m \gg n$. The natural algorithmic task in this regime is \emph{refutation}: finding a proof that a given random instance is unsatisfiable... (read more)

PDF Abstract
No code implementations yet. Submit your code now