C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Enrico Lipparini
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Symmetry Breaking
Search Efficiency
Satisfiability Problem
Top Venues
CoRR
ATVA
NFM
</>
Publications
</>
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)