Complete and Efficient DRAT Proof Checking

Rebola-Pardo, Adrian; Cruz-Filipe, Luís

doi:10.23919/FMCAD.2018.8602993

by Adrian Rebola-Pardo, Luís Cruz-Filipe

Reference:

Complete and Efficient DRAT Proof CheckingAdrian Rebola-Pardo, Luís Cruz-Filipe2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 (Nikolaj Bjørner, Arie Gurfinkel, eds.), pages 1–9, 2018, IEEE.

Bibtex Entry:

@inproceedings{DBLP:conf/fmcad/Rebola-PardoC18,
  author    = {Adrian Rebola{-}Pardo and
               Lu{\'{\i}}s Cruz{-}Filipe},
  editor    = {Nikolaj Bj{\o}rner and
               Arie Gurfinkel},
  title     = {Complete and Efficient {DRAT} Proof Checking},
  booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
               TX, USA, October 30 - November 2, 2018},
  pages     = {1--9},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.23919/FMCAD.2018.8602993},
  doi       = {10.23919/FMCAD.2018.8602993},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/Rebola-PardoC18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}