A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Gereon Kremer, Florian Corzilius, Erika Ábrahám

Journal title: Proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, Bucharest, Romania, September 19-23, 2016

Journal publisher: Springer International Publishing

Published year: 2016

Published pages: 315-335

DOI identifier: 10.1007/978-3-319-45641-6_21

ISBN: 978-3-319-45640-9