Approximate counting in bounded arithmetic.

Published in: J. Symb. Log. (2007)

Keyphrases

machine learning
decision making
least squares
real time
artificial intelligence
database systems
multiscale
data structure
preprocessing
evolutionary algorithm
multiresolution
constraint propagation
floating point
exact solution