![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Alberto Griggio
Person information
- affiliation: Fondazione Bruno Kessler, Trento, Italy
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c70]Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li:
Avoiding the Shoals - A New Approach to Liveness Checking. CAV (1) 2024: 234-254 - [c69]Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa:
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS 2024: 170-181 - [c68]Lukas König
, Christian Heinzemann
, Alberto Griggio
, Michaela Klauck
, Alessandro Cimatti
, Franziska Henze
, Stefano Tonetta
, Stefan Küperkoch
, Dennis Fassbender
, Michael Hanselmann
:
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) 2024: 44-65 - [i14]Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth McMillan:
Invariant Checking for SMT-based Systems with Quantifiers. CoRR abs/2402.19028 (2024) - [i13]Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. CoRR abs/2403.00087 (2024) - 2023
- [c67]Yechuan Xia, Anna Becchi
, Alessandro Cimatti, Alberto Griggio
, Jianwen Li, Geguang Pu:
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) 2023: 288-308 - [c66]Alberto Griggio
, Martin Jonás
:
Kratos2: An SMT-Based Model Checker for Imperative Programs. CAV (3) 2023: 423-436 - [c65]Alessandro Cimatti
, Luca Cristoforetti
, Alberto Griggio
, Stefano Tonetta
, Sara Corfini
, Marco Di Natale, Florian Barrau
:
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) 2023: 3-10 - [c64]Srajan Goyal, Alberto Griggio
, Jacob Kimblad, Stefano Tonetta:
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. FMAS@iFM 2023: 113-129 - 2022
- [j17]Alessandro Cimatti
, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta:
Verification modulo theories. Formal Methods Syst. Des. 60(3): 452-481 (2022) - [j16]Alessandro Cimatti
, Alberto Griggio, Enrico Magnago
:
LTL falsification in infinite-state systems. Inf. Comput. 289(Part): 104977 (2022) - [j15]Makai Mann
, Ahmed Irfan
, Alberto Griggio
, Oded Padon, Clark W. Barrett
:
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. Log. Methods Comput. Sci. 18(3) (2022) - [c63]Alessandro Cimatti, Alberto Griggio, Enrico Lipparini
, Roberto Sebastiani:
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. ATVA 2022: 137-153 - [c62]Alessandro Cimatti
, Alberto Griggio
, Gianluca Redondi
:
Verification of SMT Systems with Quantifiers. ATVA 2022: 154-170 - [c61]Alberto Bombardelli
, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta:
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA 2022: 21-27 - [c60]Marco Bozzano
, Alessandro Cimatti
, Alberto Griggio
, Martin Jonás
, Greg Kimberly:
Analysis of Cyclic Fault Propagation via ASP. LPNMR 2022: 470-483 - [c59]Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta:
A comprehensive framework for the analysis of automotive systems. MoDELS 2022: 379-389 - [c58]Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi:
A Formal IDE for Railways: Research Challenges. SEFM Workshops 2022: 107-115 - [c57]Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. SMT 2022: 80-89 - [c56]Marco Bozzano
, Alessandro Cimatti
, Alberto Griggio
, Martin Jonás
:
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) 2022: 273-291 - [e2]Alberto Griggio, Neha Rungta:
22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022. IEEE 2022, ISBN 978-3-85448-053-2 [contents] - [i12]Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio:
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). Dagstuhl Reports 12(2): 67-86 (2022) - 2021
- [j14]Alberto Griggio
, Marco Roveri
, Stefano Tonetta
:
Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. 57(2): 178-210 (2021) - [c55]Alessandro Cimatti
, Alberto Griggio
, Enrico Magnago
:
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. ATVA 2021: 32-47 - [c54]Alessandro Cimatti
, Alberto Griggio
, Gianluca Redondi
:
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning. CADE 2021: 131-147 - [c53]Marco Bozzano
, Alessandro Cimatti
, Anthony Fernandes Pires, Alberto Griggio
, Martin Jonás
, Greg Kimberly:
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) 2021: 209-230 - [c52]Sergio Mover, Alessandro Cimatti, Alberto Griggio
, Ahmed Irfan
, Stefano Tonetta:
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) 2021: 529-551 - [c51]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: 213-231 - [c50]Makai Mann
, Ahmed Irfan
, Alberto Griggio
, Oded Padon, Clark W. Barrett
:
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. TACAS (1) 2021: 113-132 - [c49]Alessandro Cimatti, Alberto Griggio
, Enrico Magnago:
Proving the Existence of Fair Paths in Infinite-State Systems. VMCAI 2021: 104-126 - [i11]Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett:
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. CoRR abs/2101.06825 (2021) - [i10]Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. CoRR abs/2109.12821 (2021) - 2020
- [j13]Alessandro Cimatti, Alberto Griggio
, Enrico Magnago, Marco Roveri
, Stefano Tonetta:
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. 272: 104502 (2020) - [j12]James H. Davenport
, Matthew England, Alberto Griggio
, Thomas Sturm, Cesare Tinelli
:
Symbolic computation and satisfiability checking. J. Symb. Comput. 100: 1-10 (2020) - [c48]Arturo Amendola, Anna Becchi
, Roberto Cavada, Alessandro Cimatti, Alberto Griggio
, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi:
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) 2020: 240-254 - [c47]Alessandro Cimatti
, Luca Geatti
, Alberto Griggio
, Greg Kimberly, Stefano Tonetta
:
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) 2020: 155-172
2010 – 2019
- 2019
- [c46]Alessandro Cimatti, Alberto Griggio
, Enrico Magnago, Marco Roveri
, Stefano Tonetta:
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) 2019: 376-386 - [c45]Goran Frehse
, Alessandro Abate, Dieky Adzkiya
, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe
, Alberto Griggio
, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak
, Stefano Tonetta, Enea Zaffanella
:
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13 - [c44]Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. SC-square@SIAM AG 2019 - [e1]John Abbott, Alberto Griggio:
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. CEUR Workshop Proceedings 2460, CEUR-WS.org 2019 [contents] - 2018
- [j11]Alessandro Cimatti, Alberto Griggio
, Ahmed Irfan
, Marco Roveri
, Roberto Sebastiani:
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. ACM Trans. Comput. Log. 19(3): 19:1-19:52 (2018) - [c43]Alberto Griggio
, Marco Roveri
, Stefano Tonetta:
Certifying Proofs for LTL Model Checking. FMCAD 2018: 1-9 - [c42]Alessandro Cimatti, Alberto Griggio
, Ahmed Irfan
, Marco Roveri
, Roberto Sebastiani:
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT 2018: 383-398 - [c41]Sergey Mechtaev
, Alberto Griggio
, Alessandro Cimatti, Abhik Roychoudhury
:
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE 2018: 389-399 - [c40]Alessandro Cimatti, Alberto Griggio
, Ahmed Irfan
, Marco Roveri
, Roberto Sebastiani:
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. SYNASC 2018: 19-26 - [i9]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. CoRR abs/1801.08718 (2018) - [i8]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR abs/1801.08723 (2018) - 2017
- [j10]Alberto Griggio
, Philipp Rümmer:
Preface to special issue on satisfiability modulo theories. Formal Methods Syst. Des. 51(3): 431-432 (2017) - [c39]Erika Ábrahám
, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler:
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE 2017: 6-10 - [c38]Alessandro Cimatti
, Alberto Griggio
, Ahmed Irfan
, Marco Roveri
, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE 2017: 95-113 - [c37]Martin Brain, James H. Davenport, Alberto Griggio:
Benchmarking Solvers, SAT-style. SC²@ISSAC 2017 - [c36]Alessandro Cimatti
, Alberto Griggio
, Ahmed Irfan
, Marco Roveri
, Roberto Sebastiani:
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. TACAS (1) 2017: 58-75 - 2016
- [j9]Erika Ábrahám
, John Abbott, Bernd Becker
, Anna Maria Bigatti
, Martin Brain, Bruno Buchberger, Alessandro Cimatti
, James H. Davenport
, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio
, Daniel Kroening
, Werner M. Seiler
, Thomas Sturm
:
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50(4): 145-147 (2016) - [j8]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. 49(3): 190-218 (2016) - [j7]Alberto Griggio
, Marco Roveri
:
Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(6): 1026-1039 (2016) - [c35]Jakub Daniel
, Alessandro Cimatti
, Alberto Griggio
, Stefano Tonetta, Sergio Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) 2016: 271-291 - [c34]Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Verilog2SMV: A tool for word-level verification. DATE 2016: 1156-1159 - [c33]Erika Ábrahám
, John Abbott, Bernd Becker
, Anna Maria Bigatti
, Martin Brain, Bruno Buchberger, Alessandro Cimatti
, James H. Davenport
, Matthew England
, Pascal Fontaine, Stephen Forrest, Alberto Griggio
, Daniel Kroening
, Werner M. Seiler
, Thomas Sturm
:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [c32]Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti
, Marco Gario
, Alberto Griggio
, Cristian Mattarei, Andrea Micheli
, Gianni Zampedri:
The xSAP Safety Analysis Platform. TACAS 2016: 533-539 - [i7]Erika Ábrahám
, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking and Symbolic Computation. CoRR abs/1607.06945 (2016) - [i6]Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR abs/1607.08028 (2016) - 2015
- [c31]Marco Bozzano, Alessandro Cimatti
, Alberto Griggio
, Cristian Mattarei
:
Efficient Anytime Techniques for Model-Based Safety Analysis. CAV (1) 2015: 603-621 - [c30]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter Synthesis with IC3 (Informal Presentation). SynCoP 2015: 106-107 - [c29]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
HyComp: An SMT-Based Model Checker for Hybrid Systems. TACAS 2015: 52-67 - [i5]Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri:
The xSAP Safety Analysis Platform. CoRR abs/1504.07513 (2015) - 2014
- [j6]Martin Brain, Vijay Victor D'Silva, Alberto Griggio
, Leopold Haller, Daniel Kroening
:
Deciding floating-point logic with abstract conflict driven clause learning. Formal Methods Syst. Des. 45(2): 213-245 (2014) - [c28]Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio
, Alessandro Mariotti, Andrea Micheli
, Sergio Mover, Marco Roveri, Stefano Tonetta:
The nuXmv Symbolic Model Checker. CAV 2014: 334-342 - [c27]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
Verifying LTL Properties of Hybrid Systems with K-Liveness. CAV 2014: 424-440 - [c26]Benjamin Bittner, Marco Bozzano
, Alessandro Cimatti
, Marco Gario
, Alberto Griggio
:
Towards Pareto-optimal parameter synthesis for monotonic cost functions. FMCAD 2014: 23-30 - [c25]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS 2014: 46-61 - [i4]Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. CoRR abs/1401.3878 (2014) - 2013
- [c24]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter synthesis with IC3. FMCAD 2013: 165-168 - [c23]Martin Brain, Vijay Victor D'Silva, Alberto Griggio
, Leopold Haller, Daniel Kroening
:
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. SAS 2013: 412-432 - [c22]Alessandro Cimatti
, Alberto Griggio
, Bastiaan Joost Schaafsma, Roberto Sebastiani:
A Modular Approach to MaxSAT Modulo Theories. SAT 2013: 150-165 - [c21]Alessandro Cimatti
, Alberto Griggio
, Bastiaan Joost Schaafsma, Roberto Sebastiani:
The MathSAT5 SMT Solver. TACAS 2013: 93-107 - [c20]Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio
, Daniel Kroening
:
An Abstract Interpretation of DPLL(T). VMCAI 2013: 455-475 - [i3]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. CoRR abs/1310.6847 (2013) - 2012
- [j5]Alberto Griggio:
A Practical Approach to Satisability Modulo Linear Integer Arithmetic. J. Satisf. Boolean Model. Comput. 8(1/2): 1-27 (2012) - [c19]Roberto Bruttomesso, Alberto Griggio:
Broadening the Scope of SMT-COMP: the Application Track. COMPARE 2012: 18-27 - [c18]David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters:
The 2012 SMT Competition. SMT@IJCAR 2012: 131-142 - [c17]Raian Ali
, Alberto Griggio
, Anders Franzén, Fabiano Dalpiaz, Paolo Giorgini
:
Optimizing Monitoring Requirements in Self-adaptive Systems. BMMDS/EMMSAD 2012: 362-377 - [c16]Alessandro Cimatti
, Alberto Griggio
:
Software Model Checking via IC3. CAV 2012: 277-293 - [c15]Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening:
Deciding floating-point logic with systematic abstraction. FMCAD 2012: 131-140 - 2011
- [j4]Alessandro Cimatti
, Alberto Griggio
, Roberto Sebastiani:
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. J. Artif. Intell. Res. 40: 701-728 (2011) - [c14]Alessandro Cimatti
, Alberto Griggio
, Andrea Micheli
, Iman Narasamdya, Marco Roveri
:
Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316 - [c13]Alberto Griggio:
Effective word-level interpolation for software verification. FMCAD 2011: 28-36 - [c12]Alberto Griggio
, Quoc-Sang Phan
, Roberto Sebastiani, Silvia Tomasi:
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. FroCoS 2011: 163-178 - [c11]Alberto Griggio
, Thi Thieu Hoa Le, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. TACAS 2011: 143-157 - 2010
- [j3]Alberto Griggio
, Thi Thieu Hoa Le, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. Log. Methods Comput. Sci. 8(3) (2010) - [j2]Alessandro Cimatti
, Alberto Griggio
, Roberto Sebastiani:
Efficient generation of craig interpolants in satisfiability modulo theories. ACM Trans. Comput. Log. 12(1): 7:1-7:54 (2010) - [c10]Alessandro Cimatti, Anders Franzén, Alberto Griggio
, Krishnamani Kalyanasundaram, Marco Roveri:
Tighter integration of BDDs and SMT for Predicate Abstraction. DATE 2010: 1707-1712 - [c9]Alessandro Cimatti
, Anders Franzén, Alberto Griggio
, Roberto Sebastiani, Cristian Stenico:
Satisfiability Modulo the Theory of Costs: Foundations and Applications. TACAS 2010: 99-113
2000 – 2009
- 2009
- [b1]Alberto Griggio:
An Effective SMT Engine for Formal Verification. University of Trento, Italy, 2009 - [j1]Roberto Bruttomesso, Alessandro Cimatti
, Anders Franzén, Alberto Griggio
, Roberto Sebastiani:
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Ann. Math. Artif. Intell. 55(1-2): 63-99 (2009) - [c8]Alessandro Cimatti
, Alberto Griggio
, Roberto Sebastiani:
Interpolant Generation for UTVPI. CADE 2009: 167-182 - [c7]Dirk Beyer
, Alessandro Cimatti
, Alberto Griggio
, M. Erkan Keremoglu, Roberto Sebastiani:
Software model checking via large-block encoding. FMCAD 2009: 25-32 - [i2]Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani:
Software Model Checking via Large-Block Encoding. CoRR abs/0904.4709 (2009) - [i1]Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories. CoRR abs/0906.4492 (2009) - 2008
- [c6]Roberto Bruttomesso, Alessandro Cimatti
, Anders Franzén, Alberto Griggio
, Roberto Sebastiani:
The MathSAT 4SMT Solver. CAV 2008: 299-303 - [c5]Alessandro Cimatti
, Alberto Griggio
, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Theories. TACAS 2008: 397-412 - 2007
- [c4]Roberto Bruttomesso, Alessandro Cimatti
, Anders Franzén, Alberto Griggio
, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani:
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV 2007: 547-560 - [c3]Alessandro Cimatti
, Alberto Griggio
, Roberto Sebastiani:
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. SAT 2007: 334-339 - 2006
- [c2]Roberto Bruttomesso, Alessandro Cimatti
, Anders Franzén, Alberto Griggio
, Roberto Sebastiani:
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. LPAR 2006: 527-541 - [c1]Roberto Bruttomesso, Alessandro Cimatti
, Anders Franzén, Alberto Griggio
, Alessandro Santuari, Roberto Sebastiani:
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). LPAR 2006: 557-571
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint