提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:期刊/corr/JordanK16澳大利亚-约旦，CharlesAU-凯撒，卢卡斯TI-使用描述性复杂性和SMT求解器的机器学习保证。JO-CoRR公司VL-abs/1609.026642016年上半年//UR-（欧元）http://arxiv.org/abs/1609.02664急诊室-