Proceedings

Kaile Su

College of Information Science and Technology , Jinan University , China

10 papers in the IJCAI proceedings

IJCAI 2017

A Reduction based Method for Coloring Very Large Graphs
with Jinkun Lin, Shaowei Cai, Chuan Luo
doi:10.24963/ijcai.2017/73
Details PDF
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
with Chuan Luo, Shaowei Cai, Wenxuan Huang
doi:10.24963/ijcai.2017/716
Details PDF
Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation
with Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki
doi:10.24963/ijcai.2017/87
Details PDF

IJCAI 2016

Normative Multiagent Systems: The Dynamic Generalization
with Xiaowei Huang, Ji Ruan, Qingliang Chen
Details PDF
Reconfigurability in Reactive Multiagent Systems
with Xiaowei Huang, Qingliang Chen, Jie Meng
Details PDF

IJCAI 2015

The Complexity of Model Checking Succinct Multiagent Systems
with Xiaowei Huang, Qingliang Chen
Details PDF

IJCAI 2013

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses
with Shaowei Cai
Details PDF

IJCAI 2011

Large Hinge Width on Sparse Random Hypergraphs
with Tian Liu, Xiaxiang Lin, Chaoyi Wang, Ke Xu
doi:10.5591/978-1-57735-516-8/IJCAI11-109
Details PDF

IJCAI 2007

Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
with Han Lin
Details PDF

IJCAI 2005

Computationally Grounded Model of BDI-Agents
with Abdul Sattar, Kewen Wang, Guido Governatori
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards