Login / Signup
Investigating a general hierarchy of polynomially decidable classes of CNF's based on short tree-like resolution proofs
Oliver Kullmann
Published in:
Electron. Colloquium Comput. Complex. (1999)
Keyphrases
</>
special case
hierarchical structure
tree structure
np complete
class hierarchy
high resolution
binary tree
search space
knowledge representation
index structure
first order logic
sample complexity