Computing Shortest Resolution Proofs.

Carlos Mencía João Marques-Silva

Published in: EPIA (2) (2019)

Keyphrases

high resolution
consequence finding
theorem prover
theorem proving
three dimensional
real time
computer vision
multiresolution