The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Cesare Tinelli" ( http://dblp.L3S.de/Authors/Cesare_Tinelli )

URL (Homepage):  https://orcid.org/0000-0002-6726-775X  Author page on DBLP  Author page in RDF  Community of Cesare Tinelli in ASPL-2

Publication years (Num. hits)
1996-2004 (18) 2005-2007 (16) 2008-2011 (15) 2012-2014 (19) 2015-2016 (15) 2017-2018 (18) 2019 (13)
Publication types (Num. hits)
article(34) incollection(2) inproceedings(74) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords

Results
Found 115 publication records. Showing 114 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli Towards Bit-Width-Independent Proofs in SMT Solvers. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli CVC4SY for SyGuS-COMP 2019. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract). Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Andres Nötzli, Clark W. Barrett, Cesare Tinelli High-Level Abstractions for Simplifying Extended String Constraints in SMT. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli Invertibility Conditions for Floating-Point Formulas. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli Theory Combination: Beyond Equality Sharing. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (eds.) Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett Extending SMT Solvers to Higher-Order Logic. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli Towards Bit-Width-Independent Proofs in SMT Solvers. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli Syntax-Guided Rewrite Rule Enumeration for SMT Solvers. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Andrew Reynolds, Daniel Larraz, Cesare Tinelli Extending enumerative function synthesis via SMT-driven classification. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli On Solving Quantified Bit-Vectors using Invertibility Conditions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King 0001, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli CVC4 at the SMT Competition 2018. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli Reasoning with Finite Sets and Cardinality Constraints in SMT. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli Solving Quantified Bit-Vectors Using Invertibility Conditions. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, Clark W. Barrett Datatypes with Shared Selectors. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christel Baier, Cesare Tinelli Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015). Search on Bibsonomy Acta Inf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christel Baier, Cesare Tinelli Some advances in tools and algorithms for the construction and analysis of systems. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli SyGuS Techniques in the Core of an SMT Solver. Search on Bibsonomy SYNT@CAV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Clark W. Barrett Constraint Solving for Finite Model Finding in SMT Solvers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Clark W. Barrett Constraint solving for finite model finding in SMT solvers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Maverick Woo, Clark W. Barrett, David Brumley, Tianyi Liang, Cesare Tinelli Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett Relational Constraint Solving in SMT. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind Qualification of a Model Checker for Avionics Software Verification. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Dejan Jovanovic, Clark W. Barrett Designing Theory Solvers with Extensions. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark W. Barrett, Morgan Deters An efficient SMT solver for string constraints. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). Search on Bibsonomy HaTT@IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli The Kind 2 Model Checker. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze Efficient solving of string constraints for security analysis. Search on Bibsonomy HotSoS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kshitij Bansal, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli Model Finding for Recursive Functions in SMT. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alain Mebsout, Cesare Tinelli Proof certificates for SMT-based model checkers for infinite-state systems. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean Lazy proofs for DPLL(T)-based SMT solvers. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. Search on Bibsonomy SEFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark W. Barrett, Cesare Tinelli On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Brain, Cesare Tinelli, Philipp Rümmer, Thomas Wahl An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. Search on Bibsonomy ARITH The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christel Baier, Cesare Tinelli (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Morgan Deters A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aaron Stump, Geoff Sutcliffe, Cesare Tinelli StarExec: A Cross-Community Infrastructure for Logic Solving. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tim King 0001, Clark W. Barrett, Cesare Tinelli Leveraging linear and mixed integer programming for SMT. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Morgan Deters, Andrew Reynolds, Tim King 0001, Clark W. Barrett, Cesare Tinelli A tour of CVC4: How it works, and how to use it. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Leonardo Mendonça de Moura Finding conflicting instances of quantified formulas in SMT. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tim King 0001, Clark W. Barrett, Cesare Tinelli Leveraging Linear and Mixed Integer Programming for SMT. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli SMT proof checking using a logical framework. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic Finite Model Finding in SMT. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett Quantifier Instantiation Techniques for Finite Model Finding in SMT. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers. Search on Bibsonomy NASA Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexander Fuchs 0003, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli Ground interpolation for the theory of equality Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli Invariant stream generators using automatic abstract transformers based on a decidable logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Peter Baumgartner 0001, Björn Pelzer, Cesare Tinelli Model Evolution with equality - Revised and implemented. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Cesare Tinelli Exploiting parallelism in the ME calculus. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Aaron Stump, Geoff Sutcliffe, Cesare Tinelli (eds.) Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010 Search on Bibsonomy EMSQMS@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Aaron Stump, Geoff Sutcliffe, Cesare Tinelli Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen Incremental Verification with Mode Variable Invariants in State Machines. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli SMT-Based Model Checking. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Cesare Tinelli PKind: A parallel k-induction based model checker Search on Bibsonomy PDMC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King 0001, Andrew Reynolds, Cesare Tinelli CVC4. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Cesare Tinelli Model Evolution with Equality Modulo Built-in Theories. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Yeting Ge, Cesare Tinelli Instantiation-Based Invariant Discovery. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.) Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli Foundations of Satisfiability Modulo Theories. Search on Bibsonomy WoLLIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). Search on Bibsonomy Haifa Verification Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yeting Ge, Clark W. Barrett, Cesare Tinelli Solving quantified verification conditions using satisfiability modulo theories. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Alexander Fuchs 0003, Hans de Nivelle, Cesare Tinelli Computing finite models by reduction to function-free clause logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Amit Goel, Sava Krstic, Cesare Tinelli Ground Interpolation for Combined Theories. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexander Fuchs 0003, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli Ground Interpolation for the Theory of Equality. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Cesare Tinelli The model evolution calculus as a first-order DPLL method. Search on Bibsonomy Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1George Hagen, Cesare Tinelli Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Igor Shikanian, Cesare Tinelli An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Igor Shikanian, Cesare Tinelli An Abstract Decision Procedure for a Theory of Inductive Data Types. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Clark W. Barrett, Cesare Tinelli CVC3. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yeting Ge, Clark W. Barrett, Cesare Tinelli Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli Trends and Challenges in Satisfiability Modulo Theories. Search on Bibsonomy VERIFY The full citation details ... 2007 DBLP  BibTeX  RDF
1Cesare Tinelli An Abstract Framework for Satisfiability Modulo Theories. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli Combined Satisfiability Modulo Parametric Theories. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli Implementing the Model Evolution Calculus. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SAT solvers, Satisfiability Modulo Theories
1Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani Intelligent Systems and Formal Methods in Software Engineering. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories
1Franz Baader, Silvio Ghilardi, Cesare Tinelli A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Splitting on Demand in SAT Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli Lemma Learning in the Model Evolution Calculus. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Peter Baumgartner 0001, Hans de Nivelle, Silvio Ranise, Cesare Tinelli Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Calogero G. Zarba Combining Nonstably Infinite Theories. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF combination of decision procedures, Nelson-Oppen method
1Peter Baumgartner 0001, Cesare Tinelli The Model Evolution Calculus with Equality. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Abstract DPLL and Abstract DPLL Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli DPLL( T): Fast Decision Procedures. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Franz Baader, Silvio Ghilardi, Cesare Tinelli A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Calogero G. Zarba Combining Decision Procedures for Sorted Theories. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 114 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license