5 citations · 5 across the 3 of their papers we have counts for
3 papers
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…
hep-th2023
Superconformal indices of Chern-Simons matter theories
Bohan Li, Dan Xie, WenBin Yan
Gaiotto and Witten found that one can construct 3d Chern-Simons matter theories by using SCFT whose momentum map of global symmetries satisfy specia…
hep-th2023★ 5 cited
On low rank 4d SCFTs
Bohan Li, Dan Xie, Wenbin Yan
There are two major ways of constructing 4d superconformal field theories (SCFTs): the first one is putting a 6d theory on a punctured Riemann surface (clas…