DRAT and Propagation Redundancy Proofs Without New Variables.

Sam Buss Neil Thapen

Published in: CoRR (2019)

Keyphrases

variable selection
theorem proving
relevant variables
formal proof
input variables
causal relationships
independent variables
structural model
real world
information systems
computational complexity
directed acyclic graph
natural deduction
mathematical proofs