Satisfiability Algorithms and Finite Quantification.

Matthew L. Ginsberg Andrew J. Parkes

Published in: KR (2000)

Keyphrases

orders of magnitude
computational complexity
learning algorithm
data structure
database
genetic algorithm
real time
neural network
knowledge base
image processing
computational cost
worst case
simulated annealing
computationally efficient
theoretical analysis
data mining algorithms