吕帅、刘京
吉林大学 计算机科学与技术学院,长春 130012
吉林大学 软件学院,长春 130012
计算机软件 可满足性 随机局部搜索 深度强化学习
2017YFB100310361300049,6176300320180101053JC,20190201193JC
2021
10.13229/j.cnki.jdxbgxb20200515