Resolution Proofs, Exponential Bounds, and Kolmogorov Complexity.
Uwe SchöningPublished in: MFCS (1997)
Keyphrases
- kolmogorov complexity
- inductive inference
- upper bound
- lower bound
- high resolution
- vc dimension
- worst case
- theorem prover
- upper and lower bounds
- low resolution
- data sets
- complexity measures
- error bounds
- mathematical proofs
- formal proofs
- average case
- theorem proving
- intelligent systems
- evolutionary algorithm
- decision trees
- neural network