Short Q-Resolution Proofs with Homomorphisms.

Ankit Shukla Friedrich Slivovsky Stefan Szeider

Published in: SAT (2020)

Keyphrases

theorem proving
high resolution
consequence finding
graph theory
low resolution
theorem prover
formal proof
database
search engine
information systems
special case
image quality
computer programs
finite state automata
mathematical knowledge
formal proofs