Tractable and intractable instances of combination problems for unification and disunification.

Klaus U. Schulz

Published in: J. Log. Comput. (2000)

Keyphrases

np complete
computational complexity
optimization problems
np hard
decision problems
randomly generated
np complete problems
training data
computational problems
search procedures
training instances
horn clauses
theorem proving
benchmark problems
logic programming
simulated annealing
optimal solution