Intractable Unifiability Problems and Backtracking.

David A. Wolfram

Published in: J. Autom. Reason. (1989)

Keyphrases

np complete
optimization problems
machine learning
difficult problems
practical problems
genetic algorithm
decision making
expert systems
dynamic programming
neural network
databases
application domains
constraint satisfaction
benchmark problems
solving problems
related problems
real time
database