Enrico Lipparini
From MaRDI portal
Person:4669553
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Boosting MCSat modulo nonlinear integer arithmetic via local search | 2026-01-21 | Paper |
| Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| Effective Interaction in Polarized Two-dimensional Electron Systems Journal of the Physical Society of Japan | 2005-04-15 | Paper |
Research outcomes over time
This page was built for person: Enrico Lipparini
