×

zbMATH — the first resource for mathematics

Griggio, Alberto

Compute Distance To:
Author ID: griggio.alberto Recent zbMATH articles by "Griggio, Alberto"
Published as: Griggio, A.; Griggio, Alberto
Documents Indexed: 29 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 156 times in 111 Documents Cited by Year
The MathSAT5 SMT solver. Zbl 1381.68153
Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
32
2013
Efficient interpolant generation in satisfiability modulo theories. Zbl 1134.68402
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
16
2008
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
14
2010
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
10
2016
A practical approach to satisfiability modulo linear integer arithmetic. Zbl 1331.68207
Griggio, Alberto
9
2012
Infinite-state invariant checking with IC3 and predicate abstraction. Zbl 1368.68245
Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
8
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
7
2014
Satisfiability modulo the theory of costs: foundations and applications. Zbl 1284.68388
Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto; Stenico, Cristian
7
2010
A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories. Zbl 1214.68348
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
7
2007
Computing small unsatisfiable cores in satisfiability modulo theories. Zbl 1216.68241
Cimatti, A.; Griggio, A.; Sebastiani, R.
6
2011
A modular approach to MaxSAT modulo theories. Zbl 1390.68572
Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
5
2013
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
5
2009
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
5
2006
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
5
2006
Interpolant generation for UTVPI. Zbl 1250.68186
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
4
2009
An abstract interpretation of DPLL(T). Zbl 1426.68249
Brain, Martin; D’silva, Vijay; Haller, Leopold; Griggio, Alberto; Kroening, Daniel
3
2013
Efficient interpolant generation in satisfiability modulo linear integer arithmetic. Zbl 1315.68179
Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
3
2011
Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006
Davenport, James H. (ed.); England, Matthew (ed.); Griggio, Alberto (ed.); Sturm, Thomas (ed.); Tinelli, Cesare (ed.)
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
2
2018
Satisfiability modulo transcendental functions via incremental linearization. Zbl 06778399
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2017
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
2
2016
Stochastic local search for SMT: combining theory solvers with WalkSAT. Zbl 1348.68227
Griggio, Alberto; Phan, Quoc-Sang; Sebastiani, Roberto; Tomasi, Silvia
2
2011
Editorial: Symbolic computation and satisfiability checking. Zbl 1444.68006
Davenport, James H. (ed.); England, Matthew (ed.); Griggio, Alberto (ed.); Sturm, Thomas (ed.); Tinelli, Cesare (ed.)
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
2
2018
Satisfiability modulo transcendental functions via incremental linearization. Zbl 06778399
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2017
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
10
2016
Infinite-state invariant checking with IC3 and predicate abstraction. Zbl 1368.68245
Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
8
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
2
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
7
2014
The MathSAT5 SMT solver. Zbl 1381.68153
Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
32
2013
A modular approach to MaxSAT modulo theories. Zbl 1390.68572
Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
5
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
9
2012
Computing small unsatisfiable cores in satisfiability modulo theories. Zbl 1216.68241
Cimatti, A.; Griggio, A.; Sebastiani, R.
6
2011
Efficient interpolant generation in satisfiability modulo linear integer arithmetic. Zbl 1315.68179
Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
3
2011
Stochastic local search for SMT: combining theory solvers with WalkSAT. Zbl 1348.68227
Griggio, Alberto; Phan, Quoc-Sang; Sebastiani, Roberto; Tomasi, Silvia
2
2011
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
14
2010
Satisfiability modulo the theory of costs: foundations and applications. Zbl 1284.68388
Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto; Stenico, Cristian
7
2010
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
5
2009
Interpolant generation for UTVPI. Zbl 1250.68186
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
4
2009
Efficient interpolant generation in satisfiability modulo theories. Zbl 1134.68402
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
16
2008
A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories. Zbl 1214.68348
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
7
2007
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
5
2006
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
5
2006
all top 5

Cited by 238 Authors

13 Cimatti, Alessandro
10 Griggio, Alberto
9 Sebastiani, Roberto
8 Ábrahám, Erika
7 Davenport, James Harold
6 England, Matthew
6 Roveri, Marco
5 Kremer, Gereon
5 Rümmer, Philipp
5 Tinelli, Cesare
4 Barrett, Clark W.
4 Becker, Bernd
4 Bonacina, Maria Paola
4 Bright, Curtis
4 Bruttomesso, Roberto
4 Fontaine, Pascal
4 Ganesh, Vijay
4 Kotsireas, Ilias S.
4 Kröning, Daniel
3 Brain, Martin
3 Bromberger, Martin
3 D’silva, Vijay
3 Johansson, Moa
3 Jovanović, Dejan
3 Liffiton, Mark H.
3 Micheli, Andrea
3 Ranise, Silvio
3 Schuppan, Viktor
3 Tonetta, Stefano
3 Weidenbach, Christoph
2 Abbott, John A.
2 Bigatti, Anna Maria
2 Bozzano, Marco
2 Buchberger, Bruno
2 Corzilius, Florian
2 de Moura, Leonardo
2 De Oliveira, Diego Caminha B.
2 Déharbe, David
2 Forrest, Stephen
2 Ghilardi, Silvio
2 Goel, Amit
2 Gu, Ming
2 Krstic, Sava A.
2 Kupferschmid, Stefan
2 Larrosa, Javier
2 Marques-Silva, João P.
2 Mattarei, Cristian
2 Nieuwenhuis, Robert
2 Oliveras, Albert
2 Passerini, Andrea
2 Rodríguez-Carbonell, Enric
2 Seiler, Werner M.
2 Sharygina, Natasha
2 Sturm, Thomas F.
2 Sturm, Thomas P.
2 Sun, Jiaguang
2 Urban, Caterina
2 Wintersteiger, Christoph M.
2 Zeljić, Aleksandar
2 Zhou, Min
1 Albarghouthi, Aws
1 Alechina, Natasha
1 Alhiyafi, Jamal
1 Alrajeh, Dalal
1 Ansótegui, Carlos
1 Baev, Artem V.
1 Bardin, Sébastien
1 Beyer, Dirk
1 Biere, Armin
1 Bjørner, Nikolaj S.
1 Bliudze, Simon
1 Bobot, François
1 Bofill, Miquel
1 Bradford, Russell J.
1 Bridge, James P.
1 Brillout, Angelo
1 Brown, Christopher W.
1 Bulling, Nils
1 Cassez, Franck
1 Cavezza, Davide Giacomo
1 Chakraborty, Supratik
1 Chechik, Marsha
1 Chen, Li
1 Chen, Mingshuai
1 Cheng, Xi
1 Cheung, Kevin K. H.
1 Chhatani, Dinesh
1 Chihani, Zakaria
1 Christ, Jürgen
1 Clarke, Edmund Melson jun.
1 Dai, Liyun
1 Dangl, Matthias
1 De Angelis, Emanuele
1 Deng, Yuxin
1 Djidjev, Hristo Nicolov
1 Đoković, Dragomir Ž.
1 Do, Minh N.
1 Dräger, Klaus
1 Eggers, Andreas
1 Egly, Uwe
...and 138 more Authors

Citations by Year