BibTeX记录日志/corr/LonsingE15
@文章{DBLP:journals/corr/LonsingE15， author={Florian Lonsing和 Uwe Egly}， title=｛通过 子句组求解器{API}}， 日志={CoRR}， 体积={abs/1502.02484}， 年份={2015年}， url={ http://arxiv.org/abs/1502.02484 }, eprinttype={arXiv}， eprint={1502.02484}， timestamp={2018年8月13日星期一16:48:42+0200}， biburl={ https://dblp.org/rec/journals/corr/LonsingE15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
