DRAT and Propagation Redundancy Proofs Without New Variables.

Sam Buss Neil Thapen

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

variable selection
data mining
case study
multiple description coding
relevant variables
formal proof
equational theories
neural network
learning algorithm
expert systems
information content
theorem prover
theorem proving