On the automatizability of resolution and related propositional proof systems.

Albert Atserias Maria Luisa Bonet

Published in: Inf. Comput. (2004)

Keyphrases

real time
information retrieval
distributed systems
intelligent systems
database
databases
database systems
high resolution
computer systems
complex systems
theorem proving