QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Tailoring local search for partial MaxSAT 会议论文 28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014 Cai, Shaowei (1); Luo, Chuan (3); Thornton, John (4); Su, Kaile (4) 收藏  |  浏览/下载：29/0  |  提交时间：2014/12/16 Double configuration checking in stochastic local search for satisfiability 会议论文 28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014 Luo, Chuan (1); Cai, Shaowei (2); Wu, Wei (1); Su, Kaile (1) 收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 two new local search strategies for minimum vertex cover 会议论文 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12, Toronto, ON, Canada, July 22, 2012 - July 26, 2012 Cai Shaowei; Su Kaile; Sattar Abdul 收藏  |  浏览/下载：11/0  |  提交时间：2013/09/22 Heuristic algorithms  Learning algorithms