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
∙
03/21/2022
Boost Test-Time Performance with Closed-Loop Inference
Conventional deep models predict a test sample with a single forward pro...
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/07/2020
Generative Low-bitwidth Data Free Quantization
Neural network quantization is an effective way to compress deep models ...
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
∙
01/24/2018