Lei, Zhendong

3 publications

IJCAI 2020 Extended Conjunctive Normal Form and an Efficient Algorithm for Cardinality Constraints Zhendong Lei, Shaowei Cai, Chuan Luo

AAAI 2020 Solving Set Cover and Dominating Set via Maximum Satisfiability Zhendong Lei, Shaowei Cai

IJCAI 2018 Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT Zhendong Lei, Shaowei Cai