Xia, Bican

1. Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
   2009/03/30 by Changbo Chen, Chen, Changbo, Marc Moreno Maza +6 · 2 citations
   Computer Science · Engineering · #Advanced Numerical Analysis Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Polynomial and algebraic computation #Symbolic Computation (cs.SC) #cs.SC
2. Barrier Certificates Revisited
   2013/10/24 by Liyun Dai, Ting Gan, Dai, Liyun +5 · 1 citation
   Computer Science · Engineering · #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
3. Interpolation synthesis for quadratic polynomial inequalities and combination with EUF
   2016/01/19 by Ting Gan, Liyun Dai, Gan, Ting +9 · 1 citation
   Computer Science · #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Numerical Methods and Algorithms #Polynomial and algebraic computation
4. Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection
   2020/03/01 by Li, Haokun, Xia, Bican · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Symbolic Computation (cs.SC)
5. Triangular Decomposition of Semi-algebraic Systems
   2010/02/25 by Changbo Chen, James H. Davenport, Chen, Changbo +9 · 1 citation
   Computer Science · #Computational Geometry (cs.CG) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Mathematical Software (cs.MS) #Polynomial and algebraic computation #Symbolic Computation (cs.SC) #cs.CG #cs.MS #cs.SC
6. On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
   2023/12/24 by Hao Wu, Wu, Hao, Shenghua Feng +9 · 1 citation
   Computer Science · Decision Sciences · #Advanced Multi-Objective Optimization Algorithms #FOS: Electrical engineering #Formal Methods in Verification #Probabilistic and Robust Engineering Design #Systems and Control (eess.SY) #electronic engineering #information engineering
7. Local Search for Solving Satisfiability of Polynomial Formulas
   2023/03/16 by Haokun Li, Li, Haokun, Bican Xia +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Polynomial and algebraic computation #Symbolic Computation (cs.SC)