Relating the Bounded Arithmetic and Polynomial Time Hierarchies.

Published in: Ann. Pure Appl. Log. (1995)

Keyphrases

truth table
bounded treewidth
special case
approximation algorithms
polynomial size
np complete
hierarchical structure
worst case
database
hierarchical structures
artificial intelligence
fixed parameter tractable
data structure
case study
floating point
np hardness
bounded degree
databases