Linear-Time Reductions of Resolution Proofs.

Omer Bar-Ilan Oded Fuhrmann Shlomo Hoory Ohad Shacham Ofer Strichman

Published in: Haifa Verification Conference (2008)

Keyphrases

consequence finding
theorem proving
formal proofs
high resolution
multi agent
database
real time
databases
real world
machine learning
case study
optimal solution
worst case
image quality
low resolution
image resolution