GUBS Upper Bound Solver (Extended Abstract).
Martin AvanziniMichael SchaperPublished in: DICE-FOPARA@ETAPS (2017)
Keyphrases
- extended abstract
- upper bound
- lower bound
- branch and bound
- branch and bound algorithm
- upper and lower bounds
- worst case
- lower and upper bounds
- artificial neural networks
- tree search
- generalization error
- error probability
- quantified boolean formulas
- neural network
- constraint solving
- orders of magnitude
- hidden markov models
- knowledge base
- information retrieval
- real world