Tight typings and split bounds, fully developed.

Beniamino Accattoli Stéphane Graham-Lengrand Delia Kesner

Published in: J. Funct. Program. (2020)

Keyphrases

upper bound
lower bound
genetic algorithm
worst case
newly developed
data sets
knowledge base
database
databases
machine learning
search engine
website
reinforcement learning
lower and upper bounds
upper and lower bounds