刘婵娟

个人信息Personal Information

副教授

博士生导师

硕士生导师

性别:女

毕业院校:北京大学

学位:博士

所在单位:计算机科学与技术学院

联系方式:chanjuanliu@dlut.edu.cn

电子邮箱:ChanjuanLiu@dlut.edu.cn

扫描关注

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

Optimizing local search-based partial MaxSAT solving via initial assignment prediction

点击次数:

发表时间:2024-12-14

发表刊物:SCIENCE CHINA-INFORMATION SCIENCES

卷号:68

期号:2

ISSN号:1674-733X

关键字:ALGORITHM; CONFIGURATION CHECKING