The Limits of Tractability in Resolution-Based Propositional Proof Systems.

Stefan S. Dantchev Barnaby Martin

Published in: CiE (2010)

Keyphrases

complex systems
information systems
management system
default logic
data mining
machine learning
case study
search algorithm
expert systems
distributed systems
intelligent systems
computer systems
propositional logic