QQ客服 官方微博 反馈留言

浏览/检索结果: 共16条，第1-10条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 solving difficult sat problems by using obdds and greedy clique decomposition 会议论文 6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012 Xu Yanyan; Chen Wei; Su Kaile; Zhang Wenhui 收藏  |  浏览/下载：12/0  |  提交时间：2013/09/22 Algorithms  Heuristic methods   EWLS: A New Local Search for Minimum Vertex Cover 会议论文 Atlanta, GA, JUL 11-15, 2010 作者:  Cai, Shaowei[1,2];  Su, Kaile[1,3];  Chen, Qingliang[4] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/03 Quantified Coalition Logic for BDI-Agents: Completeness and Complexity 会议论文 Gold Coast, AUSTRALIA, DEC 01-05, 2014 作者:  Chen, Qingliang[1];  Li, Qun[1];  Su, Kaile[2];  Luo, Xiangyu[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/10 A succinct and efficient implementation of a 232 BDD package 会议论文 Beijing, China, July 4, 2012 - July 6, 2012 作者:  Lv, Guanfeng[1];  Chen, Yao[1];  Feng, Yachao[1];  Chen, Qingliang[2];  Su, Kaile[3] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/13 The Complexity of Model Checking Succinct Multiagent Systems 会议论文 Buenos Aires, ARGENTINA, JUL 25-31, 2015 作者:  Huang, Xiaowei[1,2];  Chen, Qingliang[1];  Su, Kaile[1,3] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/13 Normative multiagent systems: A dynamic generalization 会议论文 New York, NY, United states, July 9, 2016 - July 15, 2016 作者:  Huang, Xiaowei[1,2];  Ruan, Ji[3];  Chen, Qingliang[1];  Su, Kaile[1,4] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/13 IMPROVING ENCODING EFFICIENCY FOR BOUNDED MODEL CHECKING 会议论文 南京, 2008年1月1日 作者:  JINJI YANG [1];  KAILE SU [2];  QINGLIANG CHEN [3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/10 Reconfigurability in reactive multiagent systems 会议论文 New York, NY, United states, July 9, 2016 - July 15, 2016 作者:  Huang, Xiaowei[1,2];  Chen, Qingliang[1];  Meng, Jie[3];  Su, Kaile[1,4] 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/13 Quantified Coalition Logic of Knowledge, Belief and Certainty 会议论文 Edmonton, CANADA, MAY 16-19, 2017 作者:  Chen, Qingliang[1,2];  Huang, Xiaowei[1,3];  Su, Kaile[1,2];  Sattar, Abdul[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/17 Complete axiomatization and complexity of coalition logic of temporal knowledge for multi-agent systems 会议论文 Montreal, QC, Canada, May 6, 2014 - May 9, 2014 作者:  Chen, Qingliang[1];  Su, Kaile[2,3];  Hu, Yong[4];  Hu, Guiwu[5] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/13