提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-1006-2921AU-埃切宁，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-模整数SMT问题的实例化JO-CoRR公司VL-abs/1006.29212010年上半年//UR-（欧元）http://arxiv.org/abs/1006.2921急诊室-