The threshold for SDP-refutation of random regular NAE-3SAT.

Yash Deshpande Andrea Montanari Ryan O'Donnell Tselil Schramm Subhabrata Sen

Published in: SODA (2019)

Keyphrases

search algorithm
theorem prover
inductive inference
semidefinite programming
sat solvers
linear programming
satisfiability problem
theorem proving
semidefinite
sat problem
max sat