Hard Instances for Satisfiability and Quasi-one-way Functions.

Andrej Bogdanov Kunal Talwar Andrew Wan

Published in: ICS (2010)

Keyphrases

random instances
phase transition
random sat
randomly generated
satisfiability problem
sat problem
stochastic local search
sat instances
computational complexity
integer programming
np complete
training instances
basis functions
constraint satisfaction problems
data sets
truth assignment
random sat instances