TY  - RPRT
TI  - Efficient Certified RAT Verification
AU  - Luís Cruz-Filipe
AU  - Marijn Heule
AU  - Warren Hunt
AU  - Matt Kaufmann
AU  - Peter Schneider-Kamp
PY  - 2016
DO  - 10.1007/978-3-319-63046-5_14
UR  - https://arxiv.org/abs/1612.02353
ID  - 1612.02353
ER  -