Proof finding algorithms for implicational logics.

Martin W. Bunder

Published in: Theor. Comput. Sci. (2000)

Keyphrases

computational cost
image processing
combinatorial optimization
recently developed
real time
data structure
computational complexity
significant improvement
worst case
theoretical analysis
machine learning
genetic algorithm
learning algorithm
benchmark datasets
expressive power
times faster