SDPs and Robust Satisfiability of Promise CSP.

Joshua Brakensiek Venkatesan Guruswami Sai Sandeep

Published in: STOC (2023)

Keyphrases

np complete
search algorithm
constraint satisfaction problems
database
computational complexity
robust estimation
genetic algorithm
orders of magnitude
constraint propagation
sat problem
constraint graph