Publications

Publications for Matthew England

2020
DownloadLink
[bibtex]
Erika Abraham, James H. Davenport, Matthew England, Gereon Kremer. Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. Journal of Logical and Algebraic Methods in Programming, 2020.
Show all