On Skolemization and Proof Complexity.

Matthias Baaz Alexander Leitsch

Published in: Fundam. Informaticae (1994)

Keyphrases

theorem prover
complexity analysis
neural network
worst case
decision problems
databases
decision making
image processing
similarity measure
data structure
evolutionary algorithm
computational cost
high computational complexity
linear logic
complexity measures