Romuald Debruyne, Gerard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier  Home/Search
Context Related
| emn.fr/jussien/pub...ebruyneRR0206.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: econstraints.n...cationspardate (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Using a filtering technique is crucial to reduce the search space. Most of the solvers (eg. chip, gnuProlog, Ilog solver, choco) use reduction operators and a propagation mechanism to enforce a local consistency. This scheme is quite universally used on static csps. But we do not have such an unanimity when relaxing constraints. Several techniques have been proposed to deal with dynamicity. The problem we address here is two-fold. First, we highlight that it is possible to generalize the... (Update)
Cited by: More
Interactively Solving School Timetabling Problems Using.. - Hadrien Cambazard Fabien (Correct)
Active bibliography (related documents): More All
1.0: Explanation-Based Repair Techniques for Constraint Programming - Jussien, Debruyne (Correct)
0.6: Correctness of Constraint Retraction Algorithms - Debruyne, Ferrand, Jussien.. (2002) (Correct)
0.5: COINS: a constraint-based interactive solving system - Ouis, Jussien, Boizumault (Correct)
Similar documents based on text: More All
1.0: K-Relevant Explanations for Constraint Programming - Samir Ouis And (Correct)
0.5: Value Withdrawal Explanation in CSP - Ferrand, Lesaint, Tessier (Correct)
0.5: Maintaining Arc-Consistency within Dynamic Backtracking - Jussien, Debruyne, Boizumault (2000) (Correct)
BibTeX entry: (Update)
Romuald Debruyne, Gerard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, and Alexandre Tessier. Correctness of constraint retraction algorithms. In FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, pages 172--176, St. Augustine, Florida, USA, May 2003. AAAI press. http://citeseer.ist.psu.edu/debruyne03correctness.html More
@misc{ debruyne03correctness,
author = "R. Debruyne and G. Ferrand and N. Jussien and W. Lesaint and S. Ouis and
A. Tessier",
title = "Correctness of constraint retraction algorithms",
text = "Romuald Debruyne, Gerard Ferrand, Narendra Jussien, Willy Lesaint, Samir
Ouis, and Alexandre Tessier. Correctness of constraint retraction algorithms.
In FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research
Society conference, pages 172--176, St. Augustine, Florida, USA, May 2003.
AAAI press.",
year = "2003",
url = "citeseer.ist.psu.edu/debruyne03correctness.html" }
Citations (may not include all citations):473 Foundations of Constraint Satisfaction (context) - Tsang - 1993
334 A truth maintenance system (context) - Doyle - 1979
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
125 An assumption-based tms (context) - de Kleer - 1986
97 An introduction to inductive definitions (context) - Aczel - 1977
52 The essence of constraint propagation - Apt - 1999
43 Automatic synthesis of optimal invariant assertions mathemat.. (context) - Cousot, Cousot - 1977
41 Arc consistency in dynamic constraint satisfaction problems (context) - Bessiere - 1991
26 Heterogeneous constraint solving (context) - Benhamou - 1996
24 Choco: implementing a cp kernel (context) - Laburthe - 2000
20 Maintaining arcconsistency within dynamic backtracking - Jussien, Debruyne et al. - 2000
20 A filtering algorithm for constraints of di#erence in CSPs (context) - Regin - 1994
18 and its combination with intelligent backtracking (context) - Codognet, Fages et al. - 1993
15 constraints: explanation-based constraint programming (context) - Jussien - 2001
14 QUICKXPLAIN: Conflict detection for arbitrary constraint pro.. - Junker - 2001
12 Arc-consistency in dynamic CSPs is no more prohibitive - Debruyne - 1996
12 Best-first search for property maintenance in reactive const.. - Jussien, Boizumault - 1997
11 The GNU prolog system and its implementation - Diaz, Codognet - 2000
11 A reactive constraint logic programming scheme - Fages, Fowler et al. - 1995
10 The role of commutativity in constraint propagation algorith.. - Apt - 2000
8 Technical Report TR-LP (context) - Aggoun, Dincbas et al. - 1987
7 Experiments in reactive constraint logic programming - Fages, Fowler et al. - 1998
6 Formal framework and performance results (context) - Georget, Codognet et al. - 1999
5 Arc-consistency for dynamic constraint problems: A rms-free .. - Berlandier, Neveu - 1994
3 Theoretical foundations of value withdrawal explanations for.. (context) - Ferrand, Lesaint et al. - 2002
3 Theoretical foundations of value withdrawal explanations in .. (context) - Ferrand, Lesaint et al. - 2001
Documents on the same site (http://njussien.e-constraints.net/english/../publications-pardate.html): More
Instantiating and Detecting Design Patterns.. - Albin-Amiot.. (Correct)
Loading Aircrafts for Military Operations - Guéret, Jussien, Lhomme, .. (Correct)
Correctness of Constraint Retraction Algorithms - Debruyne, Ferrand, Jussien.. (2002) (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