Edit Profile (opens in new tab) Bigarella, Filippo Co-Author Distance Author ID: bigarella.filippo Published as: Bigarella, Filippo Documents Indexed: 1 Publication since 2021 Co-Authors: 7 Co-Authors with 1 Joint Publication 136 Co-Co-Authors all top 5 Co-Authors 0 single-authored 1 Cimatti, Alessandro 1 Griggio, Alberto 1 Irfan, Ahmed 1 Jonáš, Martin 1 Roveri, Marco 1 Sebastiani, Roberto 1 Trentin, Patrick Serials Fields 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Optimization modulo non-linear arithmetic via incremental linearization. Zbl 07497924 Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick 1 2021 Optimization modulo non-linear arithmetic via incremental linearization. Zbl 07497924 Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick 1 2021 Cited by 1 Author 1 Leofante, Francesco Cited in 1 Serial 1 Journal of Satisfiability, Boolean Modeling and Computation Cited in 1 Field 1 Computer science (68-XX) Citations by Year