Even Shorter Proofs Without New Variables.

Adrián Rebola-Pardo

Published in: SAT (2023)

Keyphrases

variable selection
theorem proving
causal relationships
universally quantified
random variables
data sets
databases
artificial intelligence
theorem prover
causal models
formal proofs