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

Open Webpage

Johannes Altmanninger, Adrian Rebola-Pardo

Published: 01 Jan 2020, Last Modified: 25 Jul 2025CPP 2020EveryoneRevisionsBibTeXCC BY-SA 4.0