Keyword:Unsatisfiability proof generation

Publications
Two flavors of DRAT Adrian Rebola Pardo and Armin Biere In:Proceedings of Pragmatics of SAT 2015 and 2018
Two flavors of DRAT Adrián Rebola-Pardo and Armin Biere EasyChair Preprint 457