The SCEAS System
| |||||||

## 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(**[Citation Graph (0, 0)][DBLP]*T*). 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.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |