Approximate Model Counting Via Extension Rule and Clause Reduction. - Hao Liu; Ziao Ni; Wenyang Zhou; Tongbo Zhang; Shuai Lü 001 (ICIIP, 2018)

Visual field movement detection model based on low-resolution images. - Guangli Li; Lei Liu 030; Tongbo Zhang; Hang Yu; Yue Xu; Shuai Lü 001 (Int. J. Embed. Syst., 2020)

Combining bounded solving and controllable randomization for approximate model counting. - Shuai Lü 001; Tongbo Zhang; Yue Xu; Wenbo Zhou; Yong Lai 001 (J. Exp. Theor. Artif. Intell., 2024)