An Efficient and Flexible Approach to Resolution Proof Reduction.

Simone Rollini Roberto Bruttomesso Natasha Sharygina

Published in: Haifa Verification Conference (2010)

Keyphrases

automatic theorem proving
high resolution
consequence finding
evolutionary algorithm
real time
data sets
genetic algorithm
search engine
information systems
image processing
low resolution
highly efficient
theorem proving
natural deduction