BibTeX记录日志/corr/ChenX15
@文章{DBLP:journals/corr/ChenX15， author={陈建儿和 赵旭}， title={通过分辨率处理四变量：一种改进的MaxSAT算法}， 日志={CoRR}， 体积＝{abs/15503.02920}， 年份={2015年}， url={ http://arxiv.org/abs/1503.02920 }, eprinttype={arXiv}， eprint={1503.02920}， timestamp={2018年8月13日星期一16:47:10+0200}， biburl={ https://dblp.org/rec/journals/corr/ChenX15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
