Slim Abdennadher, Christophe Rigotti  Home/Search
Context Related
| pms.informatik.uni...MSFB20018.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: pms.informatik.unimuench...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A general approach to implement propagation and simplification of constraints consists of applying rules over these constraints. Recently, several proposals have been made to solve finite constraint satisfaction problems by means of automatically generated propagation rules [4,9,3]. Since propagation rules do not rewrite constraints but add new ones, the constraint store may contain superuous constraints. Removing these constraints not only allows saving of space but also decreases the cost of... (Update)
Context of citations to this paper: More
.... generation of propagation rules for constraints defined over finite domains have been proposed [3, 15, 1] It has also been shown in [2] that these rules generated automatically can lead to more efficient constraint reasoning than rules found by hand. In this paper, we...
Cited by: More
Generation of Propagation Rules for Intentionally Defined.. - Abdennadher, Rigotti (2001) (Correct)
Similar documents (at the sentence level):
44.9%: Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
12.6%: Automatic Generation of Rule-Based Constraint Solvers over .. - Abdennadher, Rigotti (2002) (Correct)
6.6%: Operational Equivalence of CHR Programs And Constraints - Abdennadher, Frühwirth (1999) (Correct)
Active bibliography (related documents): More All
0.4: Using Confluence to Generate Rule-based Constraint Solvers - Abdennadher, Rigotti (2001) (Correct)
0.4: Towards Inductive Constraint Solving - Abdennadher, Rigotti (2001) (Correct)
0.4: Automatic Generation of Rule-based Solvers for.. - Abdennadher, Rigotti (2002) (Correct)
Similar documents based on text: More All
0.6: A Visualization Tool for Constraint Handling Rules - Abdennadher, Saft (2001) (Correct)
0.6: A Language for Experimenting with Declarative - Paradigms Slim Abdennadher (Correct)
0.5: On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (Correct)
BibTeX entry: (Update)
S. Abdennadher and C. Rigotti. Using confluence to generate rule-based constraint solvers. In Third International Conference on Principles and Practice of Declarative Programming. ACM Press, September 2001. To appear. http://citeseer.ist.psu.edu/article/abdennadher01using.html More
@inproceedings{ abdennadher01using,
author = "S. Abdennadher and C. Rigotti",
title = "Using confluence to generate rule-based constraint solvers",
booktitle = "Third International Conference on Principles and
Practice of Declarative Programming",
publisher = "ACM Press",
month = sep,
year = "2001",
url = "citeseer.ist.psu.edu/article/abdennadher01using.html" }
Citations (may not include all citations):18 Claire: Combining objects and rules for problem solving - Caseau, Laburthe - 1996
16 Automatic generation of constraint propagation algorithms fo.. - Apt, Monfroy - 1999
14 Operational semantics and con uence of constraint propagatio.. (context) - Abdennadher - 1997
9 Con uence and semantics of constraint simplication rules (context) - Abdennadher, Fr et al. - 1999
6 Automatic generation of propagation rules for nite domains (context) - Abdennadher, Rigotti - 2000
Documents on the same site (http://www.pms.informatik.uni-muenchen.de/publikationen/index.html): More
A Deduction Method Complete for Refutation and Finite.. - Bry, Torge (1998) (Correct)
A Confluence Test for Concurrent Constraint Programs - Abdennadher, Frühwirth.. (1995) (Correct)
Problem Solving with Model-Generation Approaches based on.. - Eisinger, Geisler (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