The Potential of Restarts for ProbSAT.

Jan-Hendrik Lorenz Julian Nickerl

Published in: CoRR (2019)

Keyphrases

random walk
database
data sets
neural network
decision trees
high level
reinforcement learning
pairwise
np complete
search problems