Lower bounds for set-blocked clauses proofs.

Published in: CoRR (2024)

Keyphrases

lower bound
data sets
small number
upper bound
knowledge base
search space
first order logic
theorem proving
horn clauses