On the Automatizability of Resolution and Related Propositional Proof Systems.

Albert Atserias Maria Luisa Bonet

Published in: CSL (2002)

Keyphrases

management system
intelligent systems
building blocks
high resolution
retrieval systems
databases
video sequences
knowledge based systems
learning systems
complex systems
closely related
propositional logic
clause learning