Keyword:DRAT

Publications
Beyond DRAT: Challenges in Certifying UNSAT Bertram Felgenhauer In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing Tobias Philipp In:GCAI 2016. 2nd Global Conference on Artificial Intelligence