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.Note: Not peer-reviewed
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},
note = { Not peer-reviewed },
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}
}