Tongbo Zhang

According to our database, Tongbo Zhang authored at least 3 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Combining bounded solving and controllable randomization for approximate model counting.

Shuai Lü, Tongbo Zhang, Yue Xu, Wenbo Zhou, Yong Lai

J. Exp. Theor. Artif. Intell., October, 2024

2020

Visual field movement detection model based on low-resolution images.

Guangli Li, Lei Liu, Tongbo Zhang, Hang Yu, Yue Xu, Shuai Lü

Int. J. Embed. Syst., 2020

2018

Approximate Model Counting Via Extension Rule and Clause Reduction.

Hao Liu, Ziao Ni, Wenyang Zhou, Tongbo Zhang, Shuai Lü

Proceedings of the 3rd International Conference on Intelligent Information Processing, 2018