Satisfiability on Mixed Instances.

Ruiwen Chen Rahul Santhanam

Published in: ITCS (2016)

Keyphrases

sat instances
stochastic local search
satisfiability problem
randomly generated
phase transition
random instances
machine learning
computational complexity
sat problem
training instances
random sat instances
upper bound
data exchange
sat solvers