Login / Signup
Enrico Lipparini
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Np Complete
Satisfiability Problem
Search Strategy
Search Space
Top Venues
CoRR
ATVA
NFM
</>
Publications
</>
Massimo Bartoletti
,
Angelo Ferrando
,
Enrico Lipparini
,
Vadim Malvone
Solvent: liquidity verification of smart contracts.
CoRR
(2024)
Enrico Lipparini
,
Stefan Ratschan
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.
NFM
(2023)
Enrico Lipparini
,
Stefan Ratschan
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem.
CoRR
(2023)
Alessandro Cimatti
,
Alberto Griggio
,
Enrico Lipparini
,
Roberto Sebastiani
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.
ATVA
(2022)