Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

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: C. Mulligan, R. Bradford, J.H. Davenport, M.England and Z. Tonks

Journal title: In: A. Bigatti and M. Brain eds. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC2 '18), pp. 48-60. CEUR Workshop Proceedings 2189, 2018.

Journal number: 2189

Journal publisher: CEUR

Published year: 2018

Published pages: 48-60