Generic complexity of undecidable problems.

Alexei G. Myasnikov Alexander N. Rybalov

Published in: J. Symb. Log. (2008)

Keyphrases

problems involving
np complete
domain specific
decision problems
information retrieval
optimization problems
benchmark problems
polynomial hierarchy
tractable cases