BibTeX记录日志/corr/abs-1810-04006
@文章{DBLP:journals/corr/abs-1810-04006， author={弗洛伦特·卡佩利和 Yann Strozecki}， title={更快地枚举{DNF}的模型：打破对 公式大小}， 日志={CoRR}， 体积＝{abs/181004006}， 年份={2018年}， url={ http://arxiv.org/abs/1810.04006 }, eprinttype={arXiv}， eprint={1810.04006}， 时间戳={2018年10月30日星期二20:39:56+0100}， 比布尔={ https://dblp.org/rec/journals/corr/abs-1810-04006.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
