Su, Kaile

28 publications

IJCAI 2017 A Reduction Based Method for Coloring Very Large Graphs Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su

IJCAI 2017 CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract) Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

IJCAI 2017 Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su

IJCAI 2016 Normative Multiagent Systems: The Dynamic Generalization Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su

IJCAI 2016 Reconfigurability in Reactive Multiagent Systems Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su

AAAI 2016 Strengthening Agents Strategic Ability with Communication Xiaowei Huang, Qingliang Chen, Kaile Su

IJCAI 2015 The Complexity of Model Checking Succinct Multiagent Systems Xiaowei Huang, Qingliang Chen, Kaile Su

AAAI 2015 Two Weighting Local Search for Minimum Vertex Cover Shaowei Cai, Jinkun Lin, Kaile Su

AAAI 2014 Double Configuration Checking in Stochastic Local Search for Satisfiability Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su

JAIR 2014 Scoring Functions Based on Second Level Score for K-SAT with Long Clauses Shaowei Cai, Chuan Luo, Kaile Su

AAAI 2014 Tailoring Local Search for Partial MaxSAT Shaowei Cai, Chuan Luo, John Thornton, Kaile Su

IJCAI 2013 Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses Shaowei Cai, Kaile Su

AAAI 2013 Improving WalkSAT for Random K-Satisfiability Problem with K > 3 Shaowei Cai, Kaile Su, Chuan Luo

JAIR 2013 NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar

AAAI 2012 Configuration Checking with Aspiration in Local Search for SAT Shaowei Cai, Kaile Su

AAAI 2012 Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall Xiaowei Huang, Kaile Su, Chenyi Zhang

AAAI 2012 Two New Local Search Strategies for Minimum Vertex Cover Shaowei Cai, Kaile Su, Abdul Sattar

IJCAI 2011 Large Hinge Width on Sparse Random Hypergraphs Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu

AAAI 2010 EWLS: A New Local Search for Minimum Vertex Cover Shaowei Cai, Kaile Su, Qingliang Chen

JAIR 2009 Variable Forgetting in Reasoning About Knowledge Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang

AAAI 2008 An Extended Interpreted System Model for Epistemic Logics Kaile Su, Abdul Sattar

AAAI 2008 Within-Problem Learning for Efficient Lower Bound Computation in Max-SAT Solving Han Lin, Kaile Su, Chu Min Li

AAAI 2007 A Modal Logic for Beliefs and Pro Attitudes Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds

IJCAI 2007 Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving Han Lin, Kaile Su

AAAI 2005 A Theory of Forgetting in Logic Programming Kewen Wang, Abdul Sattar, Kaile Su

IJCAI 2005 Computationally Grounded Model of BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori

AAAI 2005 Observation-Based Model for BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan

AAAI 2004 Model Checking Temporal Logics of Knowledge in Distributed Systems Kaile Su