Andrews Skolemization May Shorten Resolution Proofs Non-elementarily.

Matthias Baaz Anela Lolic

Published in: LFCS (2022)

Keyphrases

theorem proving
theorem prover
high resolution
databases
consequence finding
mathematical proofs
database
clause learning
sampling rate
probabilistic model
high quality
image processing
metadata
e learning
information systems
genetic algorithm
information retrieval