Lower-Bound Synthesis Using Loop Specialization and Max-SMT.
Elvira AlbertSamir GenaimEnrique Martin-MartinAlicia MerayoAlbert RubioPublished in: CAV (2) (2021)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- np hard
- statistical machine translation
- objective function
- optimal solution
- upper and lower bounds
- worst case
- lower and upper bounds
- lower bounding
- sufficiently accurate
- computational complexity
- linear programming relaxation
- program synthesis
- functional programs
- polynomial approximation
- branch and bound method
- sample complexity
- column generation