The complexity of propositional implication.

Olaf Beyersdorff Arne Meier Michael Thomas Heribert Vollmer

Published in: Inf. Process. Lett. (2009)

Keyphrases

first order logic
polynomial hierarchy
computational complexity
propositional logic
horn clauses
worst case
decision problems
space complexity
database
real time
multiscale
data structure
computational cost