Beyond DRAT: Challenges in Certifying UNSAT

Bertram Felgenhauer
Proceedings of the 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   doi:10.29007/2b78