Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.

Samuel R. Buss Aleksandar Ignjatovic

Published in: Ann. Pure Appl. Log. (1995)

Keyphrases

natural language
databases
evolutionary algorithm
consistency checking
data sets
machine learning
genetic algorithm
search engine
multiscale
multiresolution