Zhendong Lei

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 2020

Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints

with Shaowei Cai, Chuan Luo

doi:10.24963/ijcai.2020/159

Details PDF

IJCAI 2018

Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT

with Shaowei Cai

doi:10.24963/ijcai.2018/187

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings