B. M. W. Cheng, K. M. F. Choi, J. H. M. Lee, J. C. K. Wu  Home/Search
Context Related
Links: DBLP | cuhk.edu.hk/~isl/pape...redundant.ps.gz cuhk.edu.hk/~isl/pape...redundant.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: cuhk.edu.hk/~isl/dPub2 (more) From: cuhk.edu.hk/~isl/dPub2 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes our experience with a simple modeling and programming approach for increasing the amount of constraint propagation in the constraint solving process. The idea, although similar to redundant constraints, is based on the concept of redundant modeling. We introduce the notions of CSP model and model redundancy, and show how mutually redundant models can be combined and connected using channeling constraints. The combined model contains the mutually redundant models as... (Update)
Cited by: More
The Range and Roots Constraints: Specifying Counting.. - Bessiere, Hebrard.. (2005) (Correct)
The Range Constraint: Algorithms and Implementation - Bessiere, Hebrard, Hnich.. (Correct)
Permutation Problems and Channelling Constraints - Walsh (2001) (Correct)
Similar documents (at the sentence level):
31.9%: Speeding Up Constraint Propagation By Redundant Modeling - Cheng, Lee, Wu (1996) (Correct)
6.5%: A Nurse Rostering System Using Constraint Programming and.. - Cheng, Lee, Wu (1997) (Correct)
5.8%: A Constraint-Based Nurse Rostering System Using a Redundant.. - Cheng, Lee, Wu (1996) (Correct)
Active bibliography (related documents): More All
0.5: Using Stochastic Methods to Guide Search in CLP: a Preliminary.. - Lee Leung (1996) (Correct)
0.4: Crew Scheduling Based on Constraint Programming.. - Halatsis.. (1996) (Correct)
0.4: Bus Relief Point Selection using Constraint Programming - Layfield, Smith, Wren (1998) (Correct)
Similar documents based on text: More All
0.7: Model Induction: a New Source of CSP Model Redundancy - Law, Lee (2002) (Correct)
0.3: Algebraic Properties of CSP Model Operators - Law, Lee (Correct)
0.2: Heuristic Constraint Propagation Using Local Search for.. - Sellmann (2002) (Correct)
Related documents from co-citation: More All
11: Modelling a Permutation Problem - Smith - 2000
9: Symmetry breaking during search in constraint programming - Gent, Smith - 1999
7: The OPL Optimization Programming Language (context) - Van Hentenryck - 1999
BibTeX entry: (Update)
B. M. W. Cheng, K. M. F. Choi, J. H. M. Lee, and J. C. K. Wu. Increasing constraint propagation by redundant modeling: an experience report. Constraints, 4:167-192, 1999. http://citeseer.ist.psu.edu/cheng99increasing.html More
@article{ cheng99increasing,
author = "B. M. W. Cheng and Kenneth M. F. Choi and Jimmy Ho-Man Lee and J. C. K. Wu",
title = "Increasing Constraint Propagation by Redundant Modeling: an Experience Report",
journal = "Constraints",
volume = "4",
number = "2",
pages = "167-192",
year = "1999",
url = "citeseer.ist.psu.edu/cheng99increasing.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990 ACM
702 Consistency in networks of relations (context) - Mackworth - 1977 ACM DBLP
473 Foundations of Constraint Satisfaction (context) - Tsang - 1993
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989 ACM
267 Network-based heuristics for constraintsatisfaction problems (context) - Dechter, Pearl - 1988
267 The constraint logic programming language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988 DBLP
265 Increasing tree search efficiency for constraint satisfactio.. (context) - Haralick, Elliot - 1980 DBLP
211 Hybrid algorithms for the constraint satisfaction problem (context) - Prosser - 1993
210 Minimizing conflicts: a heuristic repair method for constrai.. - Minton, Johnston et al. - 1992
201 Understanding line drawings of scenes with shadows - Waltz - 1975
191 Algorithms for constraint-satisfaction problems: A survey - Kumar - 1992 DBLP
189 Arc and path consistency revisited (context) - Mohr, Henderson - 1986
185 A sufficient condition for backtrack-free search (context) - Freuder - 1982 ACM DBLP
127 Constraint satisfaction algorithms (context) - Nadel - 1989 ACM DBLP
112 Performance measurement and analysis of certain search algor.. (context) - Gaschnig - 1979
112 Performance Measurement and Analysis of Certain Search Algor.. (context) - Gaschnig - 1979
100 A generic arc-consistency algorithm and its specializations (context) - Van Hentenryck, Deville et al. - 1992 ACM DBLP
61 Introducing global constraints in CHIP - Beldiceanu, Contejean - 1994
59 Arc-consistency and arc-consistency again - Bessiere, Cordier - 1993 ACM DBLP
59 Solving the car-sequencing problem in constraint logic progr.. (context) - Dincbas, Simonis et al. - 1988 DBLP
56 Backtrack programming techniques (context) - Bitner, Reingold - 1985 ACM DBLP
45 Interval propagation to reason about sets: definition and im.. (context) - Gervet - 1997 DBLP
35 Dual viewpoint heuristics for binary constraint satisfaction.. (context) - Geelen - 1992
33 Conjunto: Constraint logic programming with finite set domai.. - Gervet - 1994 DBLP
30 Implementation of resource constraints in ilog schedule: A l.. (context) - Le Pape - 1994
29 Abstraction via approximate symmetry - Ellman - 1993 DBLP
27 A general backtrack algorithm that eliminates most redundant.. (context) - Gaschnig - 1977 DBLP
21 A distributed cooperating constraints solving system - Marti, Rueher - 1995
21 Interchangeability supports abstraction and reformation for .. - Freuder, Sabin - 1995
20 Interchangeability preprocessing can improve forward checkin.. (context) - Jr, Freuder - 1992 ACM DBLP
19 Hierarchical arc consistency: Exploiting structured domains .. (context) - Mackworth, Mulder et al. - 1985 ACM
17 Applications of CHIP to industrial and engineering problems (context) - Dincbas, Van Hentenryck et al. - 1988 ACM DBLP
15 Speeding up constraint propagation by redundant modeling - Cheng, Lee et al. - 1996 DBLP
12 Using constraint logic programming techniques in container p.. (context) - Perrett - 1991
11 Emergent constraint satisfaction through multiagent coordina.. - Liu, Sycara - 1993
9 Disjunctive constraints for manufacturing scheduling: Princi.. - Baptiste, Le Pape - 1995
9 the minimality and decomposability of constraint networks - van Beek - 1992
8 A rule-based approach to a time-constrained traveling salesm.. (context) - Caseau, Koppstein - 1992
8 Agent cooperation can compensate for agent ignorance in cons.. - Eaton, Freuder - 1996 DBLP
7 A constraint-based nurse rostering system using a redundant .. - Cheng, Lee et al. - 1996 ACM DBLP
6 A formal system for producing demons from rules (context) - Caseau - 1989
6 Concurrent constraint multiple models in CLP and CC language.. (context) - Jourdan - 1995
6 Concurrent constraint multiple models in CLP and CC language.. (context) - Jourdan - 1995
4 Annals of Mathematics and Artificial Intelligence (context) - Caseau, deductive - 1991 ACM
3 An efficient arc consistency algorithm for a class of CSP al.. (context) - Deville, Van Hentenryck - 1991
3 Resource constraints in a library for constraint-based sched.. (context) - Le Pape - 1995
2 Experimental case studies of backtrack versus Waltz-type ver.. (context) - Gaschnig - 1978
2 Using stochastic methods to guide search in CLP: a prelimina.. - Lee, Leung et al. - 1996 DBLP
1 A good value-ordering heuristics for the n-queens problem (context) - Aggoun - 1994
1 Constraint satisfaction problems with order-sorted domains (context) - Kok'eny - 1995
1 Partial models in redundant modeling (context) - Wallace - 1996
1 A nurse rostering system using constraint programming and re.. - Cheng, Lee et al. - 1997 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.cuhk.edu.hk/~isl/dPub2.html): More
Speeding Up Constraint Propagation By Redundant Modeling - Cheng, Lee, Wu (1996) (Correct)
A Constraint-Based Interactive Train Rescheduling Tool - Chiu, Chou, Lee, Leung, Leung (1996) (Correct)
Towards a More Efficient Stochastic Constraint Solver - Lee, Leung, Won (1996) (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