Gap theorems for robust satisfiability: Boolean CSPs and beyond.

Published in: Theor. Comput. Sci. (2017)

Keyphrases

symmetry breaking
constraint satisfaction problems
neural network
np complete
real valued
satisfiability problem
learning algorithm
search algorithm
computationally efficient
constraint satisfaction
sat encodings
np hard
propositional logic
arc consistency
boolean formula
conjunctive normal form