Lifting independence results in bounded arithmetic.

Mario Chiari Jan Krajícek

Published in: Arch. Math. Log. (1999)

Keyphrases

wavelet transform
genetic algorithm
independence assumption
databases
information retrieval
floating point