Frying the egg, roasting the chicken: unit deletions in DRAT proofs.

Johannes Altmanninger Adrian Rebola-Pardo

Published in: CPP (2020)

Keyphrases

theorem proving
theorem prover
mathematical proofs
control unit
formal proofs
data mining
learning algorithm
information systems
image processing
probabilistic model
insertions and deletions