Generic Complexity of Undecidable Problems.

Alexei G. Myasnikov

Published in: CSR (2007)

Keyphrases

decision problems
np complete
sufficient conditions
databases
computational issues
information retrieval
artificial intelligence
case study
domain specific
optimization problems
application domains
benchmark problems
solving problems