Search for Author All Reviews
	Larraz, Daniel     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Incomplete SMT techniques for solving non-linear formulas over the integers Borralleras C., Larraz D., Rodríguez-Carbonell E., Oliveras A., Rubio A. ACM Transactions on Computational Logic 20(4): 1-36, 2019.  Type: Article It is well known that nonlinear integer arithmetic is undecidable due to a negative answer to Hilbert’s tenth problem. Still, constraint solving over nonlinear integer polynomials has attracted considerable attention because ...... May 27 2021
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy