Search the dblp DataBase
Cesare Tinelli :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Franz Baader , Cesare Tinelli A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:19-33 [Conf ] Franz Baader , Silvio Ghilardi , Cesare Tinelli A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. [Citation Graph (0, 0)][DBLP ] IJCAR, 2004, pp:183-197 [Conf ] Peter Baumgartner , Cesare Tinelli The Model Evolution Calculus. [Citation Graph (0, 0)][DBLP ] CADE, 2003, pp:350-364 [Conf ] Peter Baumgartner , Cesare Tinelli The Model Evolution Calculus with Equality. [Citation Graph (0, 0)][DBLP ] CADE, 2005, pp:392-408 [Conf ] Harald Ganzinger , George Hagen , Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli DPLL( T): Fast Decision Procedures. [Citation Graph (0, 0)][DBLP ] CAV, 2004, pp:175-188 [Conf ] Cesare Tinelli , Mehdi T. Harandi Constraint Logic Programming over Unions of Constraint Theories. [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:436-450 [Conf ] Franz Baader , Cesare Tinelli Combining Equational Theories Sharing Non-Collapse-Free Constructors. [Citation Graph (0, 0)][DBLP ] FroCos, 2000, pp:260-274 [Conf ] Cesare Tinelli , Mehdi T. Harandi A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. [Citation Graph (0, 0)][DBLP ] Frontiers of Combining Systems (FroCos), 1996, pp:103-119 [Conf ] Cesare Tinelli A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:308-319 [Conf ] Cesare Tinelli , Calogero G. Zarba Combining Decision Procedures for Sorted Theories. [Citation Graph (0, 0)][DBLP ] JELIA, 2004, pp:641-653 [Conf ] Peter Baumgartner , Alexander Fuchs , Cesare Tinelli Lemma Learning in the Model Evolution Calculus. [Citation Graph (0, 0)][DBLP ] LPAR, 2006, pp:572-586 [Conf ] Clark Barrett , Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli Splitting on Demand in SAT Modulo Theories. [Citation Graph (0, 0)][DBLP ] LPAR, 2006, pp:512-526 [Conf ] Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli Abstract DPLL and Abstract DPLL Modulo Theories. [Citation Graph (0, 0)][DBLP ] LPAR, 2004, pp:36-50 [Conf ] Franz Baader , Cesare Tinelli Combining Decision Procedures for Positive Theories Sharing Constructors. [Citation Graph (0, 0)][DBLP ] RTA, 2002, pp:352-366 [Conf ] Franz Baader , Cesare Tinelli Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. [Citation Graph (0, 0)][DBLP ] RTA, 1999, pp:175-189 [Conf ] Cesare Tinelli , Calogero G. Zarba Combining Non-Stably Infinite Theories. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal ] Franz Baader , Cesare Tinelli Deciding the Word Problem in the Union of Equational Theories. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:178, n:2, pp:346-390 [Journal ] Franz Baader , Silvio Ghilardi , Cesare Tinelli A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2006, v:204, n:10, pp:1413-1452 [Journal ] Peter Baumgartner , Alexander Fuchs , Cesare Tinelli Implementing the Model Evolution Calculus. [Citation Graph (0, 0)][DBLP ] International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:21-52 [Journal ] Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T ). [Citation Graph (0, 0)][DBLP ] J. ACM, 2006, v:53, n:6, pp:937-977 [Journal ] Cesare Tinelli Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2003, v:30, n:1, pp:1-31 [Journal ] Cesare Tinelli , Calogero G. Zarba Combining Nonstably Infinite Theories. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2005, v:34, n:3, pp:209-238 [Journal ] Cesare Tinelli , Mehdi T. Harandi Constraint Logic Programming over Unions of Constraint Theories. [Citation Graph (0, 0)][DBLP ] Journal of Functional and Logic Programming, 1998, v:1998, n:6, pp:- [Journal ] Cesare Tinelli , Christophe Ringeissen Unions of non-disjoint theories and combinations of satisfiability procedures. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:290, n:1, pp:291-353 [Journal ] Cesare Tinelli , Teodor Rus Preface. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:291, n:3, pp:219-221 [Journal ] Yeting Ge , Clark Barrett , Cesare Tinelli Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP ] CADE, 2007, pp:167-182 [Conf ] Clark Barrett , Cesare Tinelli CVC3. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:298-302 [Conf ] Cesare Tinelli An Abstract Framework for Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2007, pp:10- [Conf ] Sava Krstic , Amit Goel , Jim Grundy , Cesare Tinelli Combined Satisfiability Modulo Parametric Theories. [Citation Graph (0, 0)][DBLP ] TACAS, 2007, pp:602-617 [Conf ] Clark Barrett , Igor Shikanian , Cesare Tinelli An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:23-37 [Journal ] Trends and Challenges in Satisfiability Modulo Theories. [Citation Graph (, )][DBLP ] Ground Interpolation for Combined Theories. [Citation Graph (, )][DBLP ] Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. [Citation Graph (, )][DBLP ] (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. [Citation Graph (, )][DBLP ] Ground Interpolation for the Theory of Equality. [Citation Graph (, )][DBLP ] Foundations of Satisfiability Modulo Theories. [Citation Graph (, )][DBLP ] The model evolution calculus as a first-order DPLL method. [Citation Graph (, )][DBLP ] Solving quantified verification conditions using satisfiability modulo theories. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.323secs