Short Resolution Proofs for a Sequence of Tricky Formulas.

Gunnar Stålmarck

Published in: Acta Informatica (1996)

Keyphrases

databases
high resolution
low resolution
image processing
search algorithm
theorem prover
image resolution
consequence finding
mathematical proofs