DRAT Proofs, Propagation Redundancy, and Extended Resolution.

Sam Buss Neil Thapen

Published in: SAT (2019)

Keyphrases

high resolution
low resolution
consequence finding
genetic algorithm
three dimensional
real time
databases
image processing
website
case study
relational databases
theorem proving
sequent calculus
formal proofs