Enrico Lipparini

According to our database, Enrico Lipparini authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.

Enrico Lipparini, Stefan Ratschan

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.

Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani

Proceedings of the Automated Technology for Verification and Analysis, 2022