Author:Bertram Felgenhauer

Publications
Beyond DRAT: Challenges in Certifying UNSAT Bertram Felgenhauer In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements