查尔斯·乔丹 卢卡斯·凯泽 使用描述性复杂性和SMT求解器的机器学习保证。 2016 abs/1609.02664 CoRR公司 http://arxiv.org/abs/1609.02664 db/journals/corr/corr1609.html#JordanK16