Schematic Refutations of Formula Schemata.

David M. Cerna Alexander Leitsch Anela Lolic

Published in: J. Autom. Reason. (2021)

Keyphrases

database schema
image processing
case study
multiscale
search algorithm
object oriented
theorem prover
boolean formula