A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
From MaRDI portal
Publication:4928438
DOI10.1007/978-3-642-38574-2_13zbMath1381.68274OpenAlexW54563301MaRDI QIDQ4928438
Ulrich Loup, Karsten Scheibler, Bernd Becker, Erika Ábrahám, Florian Corzilius
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_13
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving ⋮ raSAT: an SMT solver for polynomial constraints ⋮ A search-based procedure for nonlinear real arithmetic ⋮ A conflict-driven solving procedure for poly-power constraints ⋮ Fully incremental cylindrical algebraic decomposition ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
Uses Software
This page was built for publication: A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition