CORC

浏览/检索结果: 共2条,第1-2条 帮助

限定条件                    
已选(0)清除 条数/页:   排序方式:
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability 期刊论文
ARTIFICIAL INTELLIGENCE, 2017, 卷号: 243, 页码: 26-44
作者:  Luo, Chuan;  Cai, Shaowei;  Su, Kaile;  Huang, Wenxuan
收藏  |  浏览/下载:17/0  |  提交时间:2019/12/12
New local search methods for partial MaxSAT 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18
作者:  Cai, Shaowei;  Luo, Chuan;  Lin, Jinkun;  Su, Kaile
收藏  |  浏览/下载:17/0  |  提交时间:2019/12/13


©版权所有 ©2017 CSpace - Powered by CSpace