BibTeX记录日志/corr/abs-1006-2921
@文章{DBLP:journals/corr/abs-1006-2921, author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃}, title={SMT}模整数问题的实例化}, 日志={CoRR}, 体积={abs/1006.2921}, 年份={2010}, url={ http://arxiv.org/abs/1006.2921 }, eprinttype={arXiv}, eprint={1006.2921}, timestamp={2018年8月13日星期一16:48:36+0200}, biburl={ https://dblp.org/rec/journals/corr/abs-1006-2921.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)