Subtropical satisfiability
From MaRDI portal
Publication:1687555
DOI10.1007/978-3-319-66167-4_11zbMath1425.68374arXiv1706.09236OpenAlexW3037122247MaRDI QIDQ1687555
Thomas Sturm, Xuan Tung Vu, Mizuhito Ogawa, Pascal Fontaine
Publication date: 4 January 2018
Full work available at URL: https://arxiv.org/abs/1706.09236
Symbolic computation and algebraic computation (68W30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Optimization modulo non-linear arithmetic via incremental linearization, Modular strategic SMT solving with \textbf{SMT-RAT}, The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints, Experiments with automated reasoning in the class, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints, Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
