DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

By Nathan Wetzler, Marijn J. H. Heule, Warren A. Hunt Jr.. International Conference on Theory and Applications of Satisfiability Testing, 2014

305 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/08acf581c8de66cd850e08897439ec7b8a23f3bf

Citations in the corpus

• Computing (2021, unknown): “This was to be expected since the zone itself was identified a priori by domain experts as being qualitatively different.”