Xindi Zhang

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

2 papers in the IJCAI proceedings

IJCAI 2022

Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)

with Shaowei Cai

doi:10.24963/ijcai.2022/734

Details PDF

IJCAI 2020

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set

with Bohan Li, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum

doi:10.24963/ijcai.2020/209

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings