Login / Signup
The Complexity of Propositional Implication
Olaf Beyersdorff
Arne Meier
Michael Thomas
Heribert Vollmer
Published in:
CoRR (2008)
Keyphrases
</>
computational complexity
computational cost
worst case
memory requirements
polynomial hierarchy
database
neural network
genetic algorithm
decision trees
bayesian networks
search space
decision problems
propositional logic
horn clauses