查尔斯·乔丹（Charles Jordan）和卢卡斯·凯泽（Lukasz Kaiser）：使用描述性复杂性和SMT求解器的机器学习保证。(2016) 期刊/corr/JordanK16 1609.02664 使用描述性复杂性和SMT求解器的机器学习保证。 2 查尔斯·乔丹 1 卢卡斯·凯泽 2 CoRR公司 CoRR公司 abs/1609.02664 2016 dblp记录“journals/corr/JordanK16”的RDF数据的来源信息 2018年8月13日16:46:38+0200