Enhancing Maximum Satisfiablility Algorithms with Pure Literal Strategies.

Richard J. Wallace

Published in: Canadian Conference on AI (1996)

Keyphrases

computational efficiency
computational cost
learning algorithm
search algorithm
worst case
orders of magnitude
recently developed
neural network
optimization problems
theoretical analysis
data mining algorithms