Refining Nondeterminism in Relativized Polynomial-Time Bounded Computations.

Chandra M. R. Kintala Patrick C. Fischer

Published in: SIAM J. Comput. (1980)

Keyphrases

bounded treewidth
truth table
special case
situation calculus
worst case
approximation algorithms
case study
np complete
np hardness
artificial intelligence
computational complexity
evolutionary algorithm
polynomial size
bounded degree