2 citations · 5 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2013★ 2 cited
Generating Non-Linear Interpolants by Semidefinite Programming
Liyun Dai, Bican Xia, Naijun Zhan
Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose ha…
cs.LO2009★ 1 cited
Termination of Linear Programs with Nonlinear Constraints
Bican Xia, Zhihai Zhang
Tiwari proved that termination of linear programs (loops with linear loop conditions and updates) over the reals is decidable through Jordan forms and eigenvectors computation. Bra…