research
∙
03/16/2023
Local Search for Solving Satisfiability of Polynomial Formulas
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) ...
share
research
∙
01/14/2023
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
Mixed trigonometric-polynomials (MTPs) are functions of the form f(x,sin...
research
∙
02/12/2022
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems
Triangular decomposition with different properties has been used for var...
research
∙
02/01/2021
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure
Cylindrical algebraic decomposition (CAD) plays an important role in the...
research
∙
03/01/2020
Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection
A new algorithm for deciding the satisfiability of polynomial formulas o...
research
∙
09/15/2018
Parameter Synthesis Problems for one parametric clock Timed Automata
In this paper, we study the parameter synthesis problem for a class of p...
research
∙
01/24/2018
Block SOS Decomposition
A widely used method for solving SOS (Sum Of Squares) decomposition prob...
research
∙
04/25/2017