Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Local Search for Solving Satisfiability of Polynomial Formulas
Haokun Li, Bican Xia, Tianqi Zhao
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) for short, concerns the satisfiability of polynomial formulas, which are quantifier-free Boolean combination…
cs.LO2020
Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection
Haokun Li, Bican Xia
A new algorithm for deciding the satisfiability of polynomial formulas over the reals is proposed. The key point of the algorithm is a new projection operator, called sample-cell p…