Login / Signup
Acquiring Maps of Interrelated Conjectures on Sharp Bounds.
Nicolas Beldiceanu
Jovial Cheukam-Ngouonou
Rémi Douence
Ramiz Gindullin
Claude-Guy Quimper
Published in:
CP (2022)
Keyphrases
</>
data structure
lower bound
upper bound
lower and upper bounds
average case
worst case
data sets
tight bounds
upper and lower bounds
high quality
multi class
learning theory
theorem prover
vc dimension
image sequences
genetic algorithm
machine learning
theoretical guarantees
real time