QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：北京大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 More efficient two-mode stochastic local search for random 3-satisfiability 期刊论文 applied intelligence, 2014 Luo, Chuan; Su, Kaile; Cai, Shaowei 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/11 Local search  Satisfiability  Linear combination  Greedy  Diversification  Property  CONFIGURATION CHECKING  BOOLEAN SATISFIABILITY  SAT  ALGORITHM  MINIMUM   Local search for Boolean Satisfiability with configuration checking and subscore 期刊论文 人工智能, 2013 Cai, Shaowei; Su, Kaile 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/11 SAT  Local search  Configuration checking  Subscore  MINIMUM VERTEX COVER  TABU SEARCH  K-SAT  ALGORITHM  EXPRESSIONS   Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking 其他 2012-01-01 Luo, Chuan; Su, Kaile; Cai, Shaowei 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16 SAT   Configuration checking with aspiration in local search for SAT 其他 2012-01-01 Cai, Shaowei; Su, Kaile 收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17