@inproceedings{lammich_grat,
  author    = {Peter Lammich},
  editor    = {Serge Gaspers and Toby Walsh},
  title     = {The {GRAT} Tool Chain -- Efficient {(UN)SAT} Certificate Checking with Formal Correctness Guarantees},
  booktitle = {Theory and Applications of Satisfiability Testing -- {SAT} 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10491},
  pages     = {457--463},
  publisher = {Springer},
  year      = {2017},
  doi       = {10.1007/978-3-319-66263-3_29}
}

@inproceedings{wetzler_drat_trim,
  author    = {Nathan Wetzler and Marijn Heule and Warren A. Hunt Jr.},
  editor    = {Carsten Sinz and Uwe Egly},
  title     = {{DRAT-trim}: Efficient Checking and Trimming Using Expressive Clausal Proofs},
  booktitle = {Theory and Applications of Satisfiability Testing -- {SAT} 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8561},
  pages     = {422--429},
  publisher = {Springer},
  year      = {2014},
  doi       = {10.1007/978-3-319-09284-3_31}
}
