23 citations · 68 across the 22 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.SC2023
Efficient Local Search for Nonlinear Real Arithmetic
Zhonghan Wang, Bohua Zhan, Bohan Li +1
Local search has recently been applied to SMT problems over various arithmetic theories. Among these, nonlinear real arithmetic poses special challenges due to its uncountable solu…
cs.CL2023
Compression of enumerations and gain
George Barmpalias, Xiaoyan Zhang, Bohua Zhan
We study the compressibility of enumerations in the context of Kolmogorov complexity, focusing on strong and weak forms of compression and their gain: the amount of auxiliary infor…
cs.LO2023★ 5 cited
A Generalized Hybrid Hoare Logic
Naijun Zhan, Xiangyu Jin, Bohua Zhan +2
Deductive verification of hybrid systems (HSs) increasingly attracts more attention in recent years because of its power and scalability, where a powerful specification logic for H…