Edit Profile (opens in new tab) Griggio, Alberto Co-Author Distance Author ID: griggio.alberto Published as: Griggio, Alberto; Griggio, A. Documents Indexed: 41 Publications since 2004 2 Contributions as Editor Co-Authors: 45 Co-Authors with 42 Joint Publications 750 Co-Co-Authors all top 5 Co-Authors 1 single-authored 31 Cimatti, Alessandro 20 Sebastiani, Roberto 8 Irfan, Ahmed 8 Roveri, Marco 7 Tonetta, Stefano 4 Brain, Martin 4 Franzén, Anders 4 Kröning, Daniel 4 Magnago, Enrico 4 Mover, Sergio 3 Bruttomesso, Roberto 3 Davenport, James Harold 3 England, Matthew 3 Sturm, Thomas 2 Abbott, John A. 2 Ábrahám, Erika 2 Barrett, Clark W. 2 Becker, Bernd 2 Bigatti, Anna Maria 2 Buchberger, Bruno 2 D’silva, Vijay 2 Fontaine, Pascal 2 Forrest, Stephen 2 Haller, Leopold 2 Jonáš, Martin 2 Kimberly, Greg 2 Le, Thi Thieu Hoa 2 Mann, Makai 2 Padon, Oded 2 Redondi, Gianluca 2 Schaafsma, Bastiaan Joost 2 Seiler, Werner M. 1 Bigarella, Filippo 1 Bozzano, Marco 1 Colussi, Livio 1 Daniel, Jakub 1 Geatti, Luca 1 Lipparini, Enrico 1 Phan, Quoc-Sang 1 Rümmer, Philipp 1 Santuari, Alessandro 1 Stenico, Cristian 1 Tinelli, Cesare 1 Tomasi, Silvia 1 Trentin, Patrick all top 5 Serials 5 Formal Methods in System Design 2 Information and Computation 2 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 1 Journal of Symbolic Computation 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Satisfiability, Boolean Modeling and Computation 1 ACM Communications in Computer Algebra all top 5 Fields 43 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Operations research, mathematical programming (90-XX) 1 Ordinary differential equations (34-XX) 1 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 33 Publications have been cited 362 times in 231 Documents Cited by ▼ Year ▼ The MathSAT5 SMT solver. Zbl 1381.68153 Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto 81 2013 Infinite-state invariant checking with IC3 and predicate abstraction. Zbl 1368.68245 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano 27 2016 Efficient interpolant generation in satisfiability modulo theories. Zbl 1134.68402 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 22 2008 Deciding floating-point logic with abstract conflict driven clause learning. Zbl 1317.68110 Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel 19 2014 Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 19 2010 Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 19 2018 SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas 16 2016 A practical approach to satisfiability modulo linear integer arithmetic. Zbl 1331.68207 Griggio, Alberto 16 2012 Computing small unsatisfiable cores in satisfiability modulo theories. Zbl 1216.68241 Cimatti, A.; Griggio, A.; Sebastiani, R. 15 2011 Satisfiability modulo the theory of costs: foundations and applications. Zbl 1284.68388 Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto; Stenico, Cristian 15 2010 A modular approach to MaxSAT modulo theories. Zbl 1390.68572 Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto 10 2013 Infinite-state liveness-to-safety via implicit abstraction and well-founded relations. Zbl 1411.68062 Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio 10 2016 A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories. Zbl 1214.68348 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 9 2007 Interpolant generation for UTVPI. Zbl 1250.68186 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 7 2009 Efficient interpolant generation in satisfiability modulo linear integer arithmetic. Zbl 1315.68179 Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto 7 2011 Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: A comparative analysis. Zbl 1165.68483 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto 7 2006 To Ackermann-ize or not to Ackermann-ize? On efficiently handling uninterpreted function symbols in SMT\((\mathcal{EUF} \cup \mathcal{T})\). Zbl 1165.68482 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Santuari, Alessandro; Sebastiani, Roberto 7 2006 Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Zbl 1192.68627 Bruttomesso, Roberto; Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Sebastiani, Roberto 6 2009 Stochastic local search for SMT: combining theory solvers with WalkSAT. Zbl 1348.68227 Griggio, Alberto; Phan, Quoc-Sang; Sebastiani, Roberto; Tomasi, Silvia 5 2011 Counterexample-guided prophecy for model checking modulo the theory of arrays. Zbl 1467.68089 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark 5 2021 Certifying proofs for SAT-based model checking. Zbl 1522.68319 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano 5 2021 Satisfiability modulo transcendental functions via incremental linearization. Zbl 1494.68281 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 5 2017 Invariant checking of NRA transition systems via incremental reduction to LRA with EUF. Zbl 1452.68116 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 5 2017 Universal invariant checking of parametric systems with quantifier-free SMT reasoning. Zbl 07437076 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca 5 2021 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006 4 2020 Proving the existence of fair paths in infinite-state systems. Zbl 1472.68085 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico 4 2021 An abstract interpretation of DPLL(T). Zbl 1426.68249 Brain, Martin; D’silva, Vijay; Haller, Leopold; Griggio, Alberto; Kroening, Daniel 3 2013 SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Zbl 1443.68104 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano 2 2020 Automatic discovery of fair paths in infinite-state transition systems. Zbl 1497.68290 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico 2 2021 Experimenting on solving nonlinear integer arithmetic with incremental linearization. Zbl 1511.68244 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 2 2018 LTL falsification in infinite-state systems. Zbl 07629158 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico 1 2022 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 Implicit semi-algebraic abstraction for polynomial dynamical systems. Zbl 1493.68217 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano 1 2021 LTL falsification in infinite-state systems. Zbl 07629158 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico 1 2022 Counterexample-guided prophecy for model checking modulo the theory of arrays. Zbl 1467.68089 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark 5 2021 Certifying proofs for SAT-based model checking. Zbl 1522.68319 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano 5 2021 Universal invariant checking of parametric systems with quantifier-free SMT reasoning. Zbl 07437076 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca 5 2021 Proving the existence of fair paths in infinite-state systems. Zbl 1472.68085 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico 4 2021 Automatic discovery of fair paths in infinite-state transition systems. Zbl 1497.68290 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico 2 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 Implicit semi-algebraic abstraction for polynomial dynamical systems. Zbl 1493.68217 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano 1 2021 Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006 4 2020 SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Zbl 1443.68104 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano 2 2020 Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 19 2018 Experimenting on solving nonlinear integer arithmetic with incremental linearization. Zbl 1511.68244 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 2 2018 Satisfiability modulo transcendental functions via incremental linearization. Zbl 1494.68281 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 5 2017 Invariant checking of NRA transition systems via incremental reduction to LRA with EUF. Zbl 1452.68116 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 5 2017 Infinite-state invariant checking with IC3 and predicate abstraction. Zbl 1368.68245 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano 27 2016 SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas 16 2016 Infinite-state liveness-to-safety via implicit abstraction and well-founded relations. Zbl 1411.68062 Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio 10 2016 Deciding floating-point logic with abstract conflict driven clause learning. Zbl 1317.68110 Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel 19 2014 The MathSAT5 SMT solver. Zbl 1381.68153 Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto 81 2013 A modular approach to MaxSAT modulo theories. Zbl 1390.68572 Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto 10 2013 An abstract interpretation of DPLL(T). Zbl 1426.68249 Brain, Martin; D’silva, Vijay; Haller, Leopold; Griggio, Alberto; Kroening, Daniel 3 2013 A practical approach to satisfiability modulo linear integer arithmetic. Zbl 1331.68207 Griggio, Alberto 16 2012 Computing small unsatisfiable cores in satisfiability modulo theories. Zbl 1216.68241 Cimatti, A.; Griggio, A.; Sebastiani, R. 15 2011 Efficient interpolant generation in satisfiability modulo linear integer arithmetic. Zbl 1315.68179 Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto 7 2011 Stochastic local search for SMT: combining theory solvers with WalkSAT. Zbl 1348.68227 Griggio, Alberto; Phan, Quoc-Sang; Sebastiani, Roberto; Tomasi, Silvia 5 2011 Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 19 2010 Satisfiability modulo the theory of costs: foundations and applications. Zbl 1284.68388 Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto; Stenico, Cristian 15 2010 Interpolant generation for UTVPI. Zbl 1250.68186 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 7 2009 Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Zbl 1192.68627 Bruttomesso, Roberto; Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Sebastiani, Roberto 6 2009 Efficient interpolant generation in satisfiability modulo theories. Zbl 1134.68402 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 22 2008 A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories. Zbl 1214.68348 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 9 2007 Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: A comparative analysis. Zbl 1165.68483 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto 7 2006 To Ackermann-ize or not to Ackermann-ize? On efficiently handling uninterpreted function symbols in SMT\((\mathcal{EUF} \cup \mathcal{T})\). Zbl 1165.68482 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Santuari, Alessandro; Sebastiani, Roberto 7 2006 all cited Publications top 5 cited Publications all top 5 Cited by 474 Authors 27 Cimatti, Alessandro 25 Griggio, Alberto 16 Sebastiani, Roberto 11 Barrett, Clark W. 11 Tinelli, Cesare 9 Ábrahám, Erika 9 Roveri, Marco 9 Sturm, Thomas 8 Davenport, James Harold 8 Rümmer, Philipp 8 Tonetta, Stefano 8 Weidenbach, Christoph 7 England, Matthew 7 Irfan, Ahmed 7 Kremer, Gereon 6 Bright, Curtis 6 Bromberger, Martin 6 Bruttomesso, Roberto 6 Ganesh, Vijay 6 Kotsireas, Ilias S. 6 Reynolds, Andrew 5 Kröning, Daniel 5 Passerini, Andrea 5 Sharygina, Natasha 4 Becker, Bernd 4 Bonacina, Maria Paola 4 Bozzano, Marco 4 De Angelis, Emanuele 4 Fioravanti, Fabio 4 Fontaine, Pascal 4 Ghilardi, Silvio 4 Jovanović, Dejan 4 Niemetz, Aina 4 Pettorossi, Alberto 4 Preiner, Mathias 4 Proietti, Maurizio 4 Ranise, Silvio 4 Trentin, Patrick 4 Zohar, Yoni 3 Brain, Martin 3 Brown, Christopher W. 3 D’silva, Vijay 3 Hyvärinen, Antti E. J. 3 Johansson, Moa 3 Kapur, Deepak 3 Katoen, Joost-Pieter 3 Kovács, Laura Ildikó 3 Liffiton, Mark H. 3 Magnago, Enrico 3 Mann, Makai 3 Micheli, Andrea 3 Mover, Sergio 3 Schuppan, Viktor 3 Voronkov, Andrei 3 Zamani, Majid 3 Zeljić, Aleksandar 2 Abate, Alessandro 2 Abbott, John A. 2 Albarghouthi, Aws 2 Amat, Nicolas 2 Asadi, Sepideh 2 Barbosa, Haniel 2 Beneš, Nikola 2 Bernasconi, Anna 2 Berthomieu, Bernard 2 Beyer, Dirk 2 Biere, Armin 2 Bigatti, Anna Maria 2 Brauße, Franz 2 Brillout, Angelo 2 Brim, Luboš 2 Buchberger, Bruno 2 Cai, Shaowei 2 Chakraborty, Supratik 2 Chechik, Marsha 2 Chen, Mingshuai 2 Cheung, Kevin K. H. 2 Corzilius, Florian 2 Dal Zilio, Silvano 2 Dangl, Matthias 2 Darulova, Eva 2 de Moura, Leonardo 2 De Oliveira, Diego Caminha B. 2 Déharbe, David 2 Finkbeiner, Bernd 2 Forrest, Stephen 2 Gario, Marco 2 Goel, Amit 2 Gopalakrishnan, Ganesh Lalitha 2 Gurfinkel, Arie 2 Heinle, Albert 2 Hoder, Kryštof 2 Hoenicke, Jochen 2 Iosif, Alexandru 2 Jonáš, Martin 2 Kimberly, Greg 2 Kincaid, Zachary 2 Korovin, Konstantin 2 Korovina, Margarita Vladimirovna 2 Krstic, Sava A. ...and 374 more Authors all top 5 Cited in 33 Serials 19 Journal of Automated Reasoning 16 Formal Methods in System Design 10 Journal of Symbolic Computation 9 Artificial Intelligence 6 Constraints 5 ACM Transactions on Computational Logic 4 Acta Informatica 4 Theoretical Computer Science 4 Mathematics in Computer Science 3 Formal Aspects of Computing 3 Annals of Mathematics and Artificial Intelligence 3 Theory and Practice of Logic Programming 2 Automatica 2 Science of Computer Programming 2 Information and Computation 2 Fundamenta Informaticae 1 Discrete Applied Mathematics 1 Physics Letters. B 1 Journal of Global Optimization 1 Discrete Event Dynamic Systems 1 Applicable Algebra in Engineering, Communication and Computing 1 Cybernetics and Systems Analysis 1 Journal of Heuristics 1 Mathematical and Computer Modelling of Dynamical Systems 1 Journal of Applied Mathematics 1 SIAM Journal on Applied Dynamical Systems 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Logical Methods in Computer Science 1 ACM Communications in Computer Algebra 1 Acta Universitatis Sapientiae. Informatica 1 Algorithms 1 Journal of Logical and Algebraic Methods in Programming 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 21 Fields 210 Computer science (68-XX) 59 Mathematical logic and foundations (03-XX) 25 Operations research, mathematical programming (90-XX) 9 Systems theory; control (93-XX) 6 Combinatorics (05-XX) 6 Numerical analysis (65-XX) 6 Information and communication theory, circuits (94-XX) 5 Biology and other natural sciences (92-XX) 3 Number theory (11-XX) 3 Commutative algebra (13-XX) 3 Ordinary differential equations (34-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year