Better Under-Approximation of Programs by Hiding Variables.

Thomas Ball Orna Kupferman

Published in: VMCAI (2007)

Keyphrases

function symbols
approximation algorithms
variable selection
computer programs
relative error
information technology
object oriented
random variables
approximation error
continuous functions
databases
np complete
conditional probabilities
efficient computation
relevant variables