Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
Book chapter (October 2022)
The most recent citing publications are shown below. View all 8 publications that cite this research output on Dimensions.
Book chapter (October 2022)
Article in International Journal of Distributed Sensor Networks (February 2020)
Book chapter (April 2019)