Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert SAT modulo linear arithmetic for solving polynomial constraints. (English) Zbl 1243.68210 J. Autom. Reasoning 48, No. 1, 107-131 (2012). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{C. Borralleras} et al., J. Autom. Reasoning 48, No. 1, 107--131 (2012; Zbl 1243.68210) Full Text: DOI Link
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. (English) Zbl 1250.68184 Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 294-305 (2009). MSC: 68Q60 68N30 68T15 PDFBibTeX XMLCite \textit{C. Borralleras} et al., Lect. Notes Comput. Sci. 5663, 294--305 (2009; Zbl 1250.68184) Full Text: DOI Link