Space and Width in Propositional Resolution (Column: Computational Complexity).
Jacobo ToránPublished in: Bull. EATCS (2004)
Keyphrases
- computational complexity
- special case
- high resolution
- np hard
- space time
- genetic algorithm
- search space
- high computational complexity
- propositional logic
- data sets
- vector space
- computational efficiency
- consequence finding
- real time
- sampling rate
- first order logic
- computationally efficient
- low resolution
- low dimensional
- knowledge representation