Two flavors of DRAT

Rebola-Pardo, Adrián; Biere, Armin

by Adrián Rebola-Pardo, Armin Biere

Reference:

Two flavors of DRATAdrián Rebola-Pardo, Armin BiereProceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018 (Daniel Le Berre, Matti Järvisalo, eds.), volume 59 of EPiC Series in Computing, pages 94–110, 2018, EasyChair.

Bibtex Entry:

@inproceedings{DBLP:conf/sat/Rebola-PardoB18,
  author    = {Adri{\'{a}}n Rebola{-}Pardo and
               Armin Biere},
  editor    = {Daniel Le Berre and
               Matti J{\"{a}}rvisalo},
  title     = {Two flavors of {DRAT}},
  booktitle = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September
               23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018},
  series    = {EPiC Series in Computing},
  volume    = {59},
  pages     = {94--110},
  publisher = {EasyChair},
  year      = {2018},
  url       = {https://easychair.org/publications/paper/2g59},
  timestamp = {Wed, 27 May 2020 16:02:35 +0200},
  biburl    = {https://dblp.org/rec/conf/sat/Rebola-PardoB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}