Proceedings

Shaowei Cai

Key Laboratory of System Software , Institute of Software , Chinese Academy of Sciences; School of Computer Science and Technology , University of Chinese Academy of Sciences , China

19 papers in the IJCAI proceedings

IJCAI 2025

An Efficient Core-Guided Solver for Weighted Partial MaxSAT
with Shiwei Pan, Yiyuan Wang
doi:10.24963/ijcai.2025/295
Details PDF

IJCAI 2024

ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism
with Peng Lin, Mengchuan Zou, Zhihan Chen
doi:10.24963/ijcai.2024/768
Details PDF

IJCAI 2023

PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem
with Yiyuan Wang, Chenghou Jin, Qingwei Lin
doi:10.24963/ijcai.2023/626
Details PDF

IJCAI 2022

Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)
with Xindi Zhang
doi:10.24963/ijcai.2022/734
Details PDF

IJCAI 2020

Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints
with Zhendong Lei, Chuan Luo
doi:10.24963/ijcai.2020/159
Details PDF
NLocalSAT: Boosting Local Search with Solution Prediction
with Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Yingfei Xiong, Lu Zhang
doi:10.24963/ijcai.2020/164
Details PDF
NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set
with Bohan Li, Xindi Zhang, Jinkun Lin, Yiyuan Wang, Christian Blum
doi:10.24963/ijcai.2020/209
Details PDF
Two-goal Local Search and Inference Rules for Minimum Dominating Set
with Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin
doi:10.24963/ijcai.2020/204
Details PDF

IJCAI 2019

Local Search with Efficient Automatic Configuration for Minimum Vertex Cover
with Chuan Luo, Holger H. Hoos, Qingwei Lin, Hongyu Zhang, Dongmei Zhang
doi:10.24963/ijcai.2019/180
Details PDF

IJCAI 2018

A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs
with Yiyuan Wang, Jiejiang Chen, Minghao Yin
doi:10.24963/ijcai.2018/210
Details PDF
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies
with Wenying Hou, Jinkun Lin, Yuanjie Li
doi:10.24963/ijcai.2018/196
Details PDF
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT
with Zhendong Lei
doi:10.24963/ijcai.2018/187
Details PDF

IJCAI 2017

A Reduction based Method for Coloring Very Large Graphs
with Jinkun Lin, Chuan Luo, Kaile Su
doi:10.24963/ijcai.2017/73
Details PDF
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
with Chuan Luo, Kaile Su, Wenxuan Huang
doi:10.24963/ijcai.2017/716
Details PDF
From Decimation to Local Search and Back: A New Approach to MaxSAT
with Chuan Luo, Haochen Zhang
doi:10.24963/ijcai.2017/80
Details PDF
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)
with Yiyuan Wang, Minghao Yin
doi:10.24963/ijcai.2017/728
Details PDF

IJCAI 2016

Fast Solving Maximum Weight Clique Problem in Massive Graphs
with Jinkun Lin
Details PDF

IJCAI 2015

Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs
Details PDF

IJCAI 2013

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses
with Kaile Su
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards