中文
HUAZHONG UNIVERSITY OF SCIENCE & TECHNOLOGY

HE KUN

Recommended Ph.D.Supervisor Recommended MA Supervisor

·Paper Publications

Current position: 英文主页 > Scientific Research > Paper Publications
刘燕丽, 李初民, 何琨. 基于优化冲突集提高下界的MAXSAT完备算法, 计算机学报, vol.36(10):2087-2095, 2013. (2013 CCF中国计算机大会会议论文及优秀海报)
Release time:2018-02-28  Hits:

Copyright © 2017 Huazhong University of Science & Technology

Click: | The Founding Time:.. | The Last Update Time:..

MOBILE Version