Using Real Relaxations during Program Specialization.

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Valerio Senni

Published in: LOPSTR (2011)

Keyphrases

case study
lower bound
static analysis
np hard
database
learning algorithm
artificial intelligence
digital libraries