Intractable Unifiability Problems and Backtracking.

David A. Wolfram

Published in: ICLP (1986)

Keyphrases

np complete
application domains
solving problems
difficult problems
optimization problems
problems involving
practical problems
search algorithm
special case
decision problems
combinatorial optimization