QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 发表日期：2016     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 New local search methods for partial MaxSAT 期刊论文 ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18 作者:  Cai, Shaowei;  Luo, Chuan;  Lin, Jinkun;  Su, Kaile 收藏  |  浏览/下载：19/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 收藏  |  浏览/下载：21/0  |  提交时间：2016/12/09 Partial MaxSAT  Local search  Hard and soft score  Initialization   An Optimal Weighting Method of Global Positioning System (GPS) Troposphere Tomography 期刊论文 IEEE JOURNAL OF SELECTED TOPICS IN APPLIED EARTH OBSERVATIONS AND REMOTE SENSING, 2016, 卷号: 9, 期号: 12 作者:  Guo, Jiming;  Yang, Fei;  Shi, Junbo;  Xu, Chaoqian 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/05 Global Positioning System (GPS) troposphere tomography  optimal weighting method  posterior unit weight variance  slant tropospheric delay