Tighter Hard Instances for PPSZ.

Pavel Pudlák Dominik Scheder Navid Talebanfard

Published in: ICALP (2017)

Keyphrases

linear programming relaxation
upper bound
random instances
neural network
lower bound
linear programming
phase transition
randomly generated
training instances
database
real time
data sets
genetic algorithm
learning algorithm
multiscale
single instance