The Complexity of the Hajos Calculus.

Toniann Pitassi Alasdair Urquhart

Published in: SIAM J. Discret. Math. (1995)

Keyphrases

computational complexity
worst case
space complexity
three dimensional
automated deduction
neural network
data mining
image processing
learning environment
computational cost
decision problems