Filippo Bigarella

From MaRDI portal
Person:831939

Available identifiers

zbMath Open bigarella.filippoMaRDI QIDQ831939

List of research outcomes





PublicationDate of PublicationType
Optimization modulo non-linear arithmetic via incremental linearization2022-03-24Paper

Research outcomes over time

This page was built for person: Filippo Bigarella