Pierre Lim, Mark Wallace European Computer-Industry Research Centre...  Home/Search
Context
Related
| icparc.doc.ic.ac.uk/e...ecrc921i.ps.gz 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: icparc.doc.ic.ac.uk/eclip...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Costly general decision procedures can be sped up by incorporating efficient decision procedures for restricted classes of constraints. We show how to make use of these specialized decision procedures by constructing a network of cooperating decision procedures. Of course, in order to gain efficiency the expensive general decision procedures should not be called as far as possible. But they should always agree with the answers produced by the specialized decision procedures. Another... (Update)
Active bibliography (related documents): More All
0.3: Unification in a combination of equational theories with shared .. - Ringeissen (1992) (Correct)
0.3: A Constraint Solver in Finite Algebras and Its Combination .. - Kirchner, Ringeissen (1992) (Correct)
0.2: Transient Analysis of Linear Circuits using Constraint Logic.. - Archana Shankar (Correct)
Similar documents based on text: More All
0.1: Planning Cordless Business Communication Systems - Frühwirth, Molwitz (1995) (Correct)
0.1: Constraint (Logic) Programming: A Bibliography - Jampel (1996) (Correct)
0.0: Constraint Logic Programming - An Informal Introduction - Frühwirth, Herold.. (1993) (Correct)
BibTeX entry: (Update)
@misc{ mark-using,
author = "Pierre Lim Mark",
title = "Using a Subsumption-Based Taxonomy to Construct Networks of Cooperating
Decision Procedures",
url = "citeseer.ist.psu.edu/311322.html" }
Citations (may not include all citations):759 Negation as Failure (context) - Clark - 1977
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
267 The Constraint Logic Programming Language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
154 Simplification by Cooperating Decision Procedures (context) - Nelson, Oppen - 1979
133 Quantifier Elimination for Real Closed Fields by Cylindrical.. (context) - Collins - 1975
129 A Polynomial Algorithm in Linear Programming (context) - Khachiyan - 1979
77 Tractable Concept Languages (context) - Donini, Lenzerini et al. - 1991
73 Restricted AND-Parallelism (context) - DeGroot - 1984
65 An Essential Hybrid Reasoning System: Knowledge and Symbol L.. (context) - Brachman, Gilbert et al. - 1985
59 Solving the Car-Sequencing Problem in Constraint Logic Progr.. (context) - Dincbas, Simonis et al. - 1988
26 The CLP(R) Language and System (context) - Jaffar, Michaylov et al. - 1990
21 An Efficient Arc Consistency Algorithm for a Class of CSP Pr.. (context) - Deville, Van Hentenryck - 1991
19 Solving a Cutting-Stock Problem in Constraint Logic Programm.. (context) - Dincbas, Simonis et al. - 1988
17 Constraint Simplification Rules - Fruhwirth - 1992
15 Real Quantifier Elimination is Doubly Exponential (context) - Davenport, Heintz - 1988
4 CLP(R) and Some Electrical Engineering Problems - Heintze, Michaylov et al. - 1987
3 Combining Unification Problems with Constraint Solving in Fi.. (context) - Kirchner, Ringeissen - 1992
1 Improving the Efficiency of Constraint Logic Programming Lan.. (context) - Bruynooghe - 1991
1 Records for Logic Programming -- Constraints on Feature Tree.. (context) - Smolka - 1992
Documents on the same site (http://www-icparc.doc.ic.ac.uk/eclipse/reports/index.html): More
Constraint Handling Rules - Frühwirth (1995) (Correct)
Constraint Logic Programming - An Informal Introduction - Frühwirth, Herold.. (1993) (Correct)
Terminological Reasoning with Constraint Handling Rules - Frühwirth, Hanschke (1995) (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