New Techniques for Proving the Decidability of Equivalence Problems.

Karel Culík II

Published in: ICALP (1988)

Keyphrases

np complete
problems involving
artificial intelligence
decision trees
mathematical programming
solving problems
difficult problems
neural network
search engine
computer vision
knowledge base
search algorithm
relational databases
logic programs
combinatorial optimization