Tighter Hard Instances for PPSZ.

Pavel Pudlák Dominik Scheder Navid Talebanfard

Published in: CoRR (2016)

Keyphrases

lower bound
upper bound
random instances
linear programming relaxation
randomly generated
lower and upper bounds
training instances
special case
neural network
artificial intelligence
single instance
machine learning
information retrieval
scheduling problem