Filippo Bigarella

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Optimization Model

Incremental Learning

Highly Non Linear

Top Venues

Publications

Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. FroCoS (2021)