The limits of tractability in Resolution-based propositional proof systems.

Stefan S. Dantchev Barnaby Martin

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

computational complexity
neural network
social networks
knowledge base
computer systems
complex systems
first order logic
database
real time
information systems
case study
learning systems