QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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 Local search  Weighted partial maximum satisfiability  Emphasis on hard clauses   CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability 期刊论文 2017, 卷号: 243, 页码: 26 作者:  Luo, Chuan[1,2];  Cai, Shaowei[3];  Su, Kaile[4,5];  Huang, Wenxuan[6] 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/06 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 Partial MaxSAT  Local search  Hard and soft score  Initialization   New local search methods for partial MaxSAT 期刊论文 ARTIFICIAL INTELLIGENCE, 2016 Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 Partial MaxSAT  Local search  Hard and soft score  Initialization  CORE-GUIDED MAXSAT  CARDINALITY CONSTRAINTS  CONFIGURATION CHECKING  INFERENCE RULES  SAT  ALGORITHMS   New local search methods for partial MaxSAT 期刊论文 ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18 Cai, SW; Luo, CA; Lin, JK; Su, KL 收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09 Partial MaxSAT  Local search  Hard and soft score  Initialization   Lower and Upper Bounds for Random Mimimum Satisfiability Problem 其他 2015-01-01 Huang, Ping; Su, Kaile 收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03 MinSAT  Upper bounds  Lower bounds  MINIMUM SATISFIABILITY  PHASE-TRANSITIONS  MAX-CUT  MAX-2-SAT  2-SAT  SAT