at.logic.gapt.proofs.drup
Forgets a clause in a DRUP proof.
This inference is not necessary for completeness, it is mainly a performance optimization since it speeds up the unit propagation in DrupDerive.
Forgets a clause in a DRUP proof.
This inference is not necessary for completeness, it is mainly a performance optimization since it speeds up the unit propagation in DrupDerive.