Beyond DRAT: Challenges in Certifying UNSAT

Bertram Felgenhauer
1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2017), EPiC Series in Computing 51, pp. 46 – 50, 2017.

abstract   BibTeX   PDF