BibTeX记录日志/corr/KieslSTB17
@文章{DBLP:journals/corr/KieslSTB17， author={Benjamin Kiesl和 马蒂娜·塞德尔和 Hans Tompits和 Armin Biere}， title={SAT:}阻塞子句的泛化}中的局部冗余， 日志={CoRR}， 体积={abs/1702.05527}， 年份={2017年}， url={ 网址：http://arxiv.org/abs/1702.05527 }, eprinttype={arXiv}， eprint={1702.05527}， timestamp={2018年8月13日星期一16:49:04+0200}， biburl={ https://dblp.org/rec/journals/corr/KieslSTB17.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
