Relative efficency of propositional proof systems: resolution vs. cut-free LK.

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

Keyphrases

management system
artificial intelligence
low resolution
building blocks
complex systems
database systems
knowledge based systems
combinatorial optimization
propositional logic