C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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