Polynomial constraints and unsat cores in \textsc{Tarski}
From MaRDI portal
Publication:1662298
DOI10.1007/978-3-319-96418-8_55zbMATH Open1395.68353OpenAlexW2883018030MaRDI QIDQ1662298FDOQ1662298
Christopher W. Brown, Fernando Vale-Enriquez
Publication date: 17 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-96418-8_55
Cited In (7)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
- Computing with Tarski formulas and semi-algebraic sets in a web browser
- Tarski
- Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
- Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
- From simplification to a partial theory solver for non-linear real polynomial constraints
Uses Software
Recommendations
- TAYLOR TERMS, CONSTRAINT SATISFACTION AND THE COMPLEXITY OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS 👍 👎
- On Variable-inactivity and Polynomial Formula-Satisfiability Procedures 👍 👎
- Partial Polymorphisms and Constraint Satisfaction Problems 👍 👎
- The property of being polynomial for Mal’tsev constraint satisfaction problems 👍 👎
- Quantified constraint satisfaction and the polynomially generated powers property 👍 👎
- Satisfiability problem: Some polynomial classes of conjunctive normal forms 👍 👎
- STACS 2005 👍 👎
- Principles and Practice of Constraint Programming – CP 2004 👍 👎
- raSAT: an SMT solver for polynomial constraints 👍 👎
- raSAT: An SMT Solver for Polynomial Constraints 👍 👎
This page was built for publication: Polynomial constraints and unsat cores in \textsc{Tarski}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1662298)
