Zhendong Lei

Efficient Local Search for Pseudo Boolean Optimization

Shaowei Cai, Holger H. Hoos, Zhendong Lei, 2021, SAT.

Highly sensitive determination of cadmium and lead in whole blood by electrothermal vaporization-atmospheric pressure glow discharge atomic emission spectrometry.

Xiaoxu Peng, Zheng Wang, Li-Ren Qian, 2021, Analytica chimica acta.

WCA: A weighting local search for constrained combinatorial test optimization

Shaowei Cai, Jinkun Lin, Zhendong Lei, 2020, Inf. Softw. Technol..

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability

Shaowei Cai, Zhendong Lei, Shaowei Cai, 2020, Artif. Intell..

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

Shaowei Cai, Zhendong Lei, Shaowei Cai, 2018, IJCAI.

The inhibitory effect and mechanism of theaflavins on fluoride transport and uptake in HIEC-6 cell model.

D. Ni, Zhi Yu, Yuqiong Chen, 2023, Food and chemical toxicology : an international journal published for the British Industrial Biological Research Association.

Towards More Efficient Local Search for Pseudo-Boolean Optimization

Chuan Luo, Shaowei Cai, Zhendong Lei, 2023, CP.