Cesare Tinelli, Christophe Ringeissen  Home/Search
Context Related
| uiowa.edu/pub/tinel...TinRinTCS03.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiowa.edu/~tinelli/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we outline a theoretical framework for the combination of decision procedures for constraint satisfiability. We describe a general combination method which, given a procedure that decides constraint satisfiability with respect to a constraint theory T1 and one that decides constraint satisfiability with respect to a constraint theory T2, produces a procedure that (semi-)decides constraint satisfiability with respect to the union of T1 and T2. We provide a number of model-theoretic ... (Update)
Similar documents based on text: More All
1.5: Unions of Non-Disjoint Theories and Combinations of.. - Tinelli, Ringeissen (2001) (Correct)
1.4: Non-Disjoint Unions of Theories and Combinations of.. - Tinelli, Ringeissen (1998) (Correct)
1.2: Combinations of Satisfiability Procedures: First Results - Tinelli, Ringeissen (Correct)
Related documents from co-citation: More All
16: A new correctness proof of the Nelson--Oppen combination procedure - Tinelli, Harandi - 1996
13: Simplification by cooperating decision procedures (context) - Nelson, Oppen - 1979
12: Cooperation of background reasoners in theory reasoning by residue sharing - Tinelli - 2000
BibTeX entry: (Update)
Cesare Tinelli and Christophe Ringeissen. Unions of non-disjoint theories and combinations of satisability procedures. Theoretical Computer Science, 2001. (to appear). 34 http://citeseer.ist.psu.edu/tinelli01unions.html More
@article{ tinelli02unions,
author = "Cesare Tinelli and Christophe Ringeissen",
title = "Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures",
journal = "Theoretical Computer Science",
year = "2002",
url = "citeseer.ist.psu.edu/tinelli01unions.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cs.uiowa.edu/~tinelli/papers.html): More
A New Approach for Combining Decision Procedures for the Word .. - Baader, Tinelli (1997) (Correct)
Combining Equational Theories Sharing Non-Collapse-Free.. - Baader, Tinelli (1999) (Correct)
Constraint Logic Programming over Unions of Constraint Theories - Tinelli, Harandi (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC