Two Techniques for Minimizing Resolution Proofs.

Published in: SAT (2010)

Keyphrases

high resolution
theorem proving
low resolution
evolutionary algorithm
formal proof
consequence finding
mathematical proofs
database
neural network
genetic algorithm
knowledge base
multiscale
computer programs
conflict detection