Effective Bit-Width and Under-Approximation.

Robert Brummayer Armin Biere

Published in: EUROCAST (2009)

Keyphrases

high quality
information retrieval
real world
learning algorithm
image processing
artificial neural networks
hidden markov models
model selection
approximation algorithms
relative error