Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT Proofs

POPL 2020

Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT Proofs

Sep 17, 2020
|
28 views
Details
Presenter: Adrian Rebola Pardo Presented at CPP'20, colocated with POPL 2020

Comments
loading...