## Analyzing a Heuristic Strategy for Constraint-Satisfaction and Scheduling (1994)

Venue: | in Intelligent Scheduling |

Citations: | 27 - 3 self |

### BibTeX

@INPROCEEDINGS{Johnston94analyzinga,

author = {Mark D. Johnston and Steven Minton},

title = {Analyzing a Heuristic Strategy for Constraint-Satisfaction and Scheduling},

booktitle = {in Intelligent Scheduling},

year = {1994},

pages = {257--289},

publisher = {Morgan}

}

### OpenURL

### Abstract

This paper describes a simple heuristic approach to solving large-scale constraint satisfaction and scheduling problems. In this approach one starts with an inconsistent assignment for a set of variables and searches through the space of possible repairs. The search can be guided by a value-ordering heuristic, the min-conflicts heuristic, that attempts to minimize the number of constraint violations after each step. The heuristic can be used with a variety of different search strategies. On the n-queens problem, a technique based on this approach performs orders of magnitude better than traditional backtracking techniques. The technique has also been used for scheduling the Hubble Space telescope. A theoretical analysis is presented both to explain why this method works well on certain types of problems and to predict when it is likely to be most effective. 1 Introduction One of the most promising general approaches for solving combinatorial search problems is to generate an initial...

### Citations

701 | A new method for solving hard satisfiability problems
- Selman, Levesque, et al.
- 1992
(Show Context)
Citation Context ...AI repair-based approaches may be more generally useful than previously thought. Additional evidence also comes from some recent flurry of related studies. For instance, Selman, Levesque and Mitchell =-=[37]-=-, showed that GSAT, a repair-based algorithm that uses a form of min-conflicts for satisfiability problems, outperforms traditional satisfiability algorithms. Specifically, they demonstrated that GSAT... |

661 | Tabu Search: A
- Glover
- 1990
(Show Context)
Citation Context ...couraging studies on repair-based algorithms include Sosic and Gu's work with N-queens[39], Morris's work on constraint-satisfaction problems[30, 31, 32] and a variety of studies on Tabu Search (e.g. =-=[10, 13]-=-), a hill-climbing, local search technique that maintains a list of forbidden moves in order to avoid cycles. 5 Future Work The min-conflicts method outlined in this paper, and repair-based methods in... |

608 | Where the Really Hard Problems Are
- Cheeseman, Kanefsky, et al.
- 1991
(Show Context)
Citation Context ...he sparsely colored graphs were significantly more difficult because there is less information conveyed by a node's neighbors regarding the correct choice of color. In related study, Cheeseman et al. =-=[5] have show-=-n that as the average connectivity of a (connected) graph increases, a "phase transition" occurs, and it is at this point that most of the hard graph colorability problems are found. In othe... |

532 |
Optimization by Simulated Annealing: An Experimental Evaluation
- Johnson, Aragon, et al.
- 1991
(Show Context)
Citation Context ...ffective. 1 Introduction One of the most promising general approaches for solving combinatorial search problems is to generate an initial, suboptimal solution and then to apply local repair heuristics=-=[37, 26, 31, 27, 44, 39, 15]-=-. Techniques based on this approach have met with empirical success on many combinatorial problems, including the traveling salesman and graph partitioning problems[16]. Such techniques also have a lo... |

475 |
Increasing tree search efficiency for Constraint Satisfaction Problems
- Haralick, Elliott
- 1980
(Show Context)
Citation Context ...d to produce a solution to any instance of the n-queens problem. Nevertheless, the problem has been perceived as relatively "hard" for heuristic search methods. Several studies of the nqueen=-=s problem [40, 12, 23]-=- have compared heuristic backtracking methods such as search rearrangement backtracking (e.g., most-constrained first), forward checking, dependency-directed backtracking, etc. To solve the n-queens p... |

439 | Partial constraint satisfaction
- Wallace
(Show Context)
Citation Context ...ison with other approaches. Both of these areas are discussed in this section. Hubble Space Telescope The Hubble Space Telescope scheduling problem can be considered a constrained optimization problem=-=[9, 7]-=- where we must maximize both the number and the importance of the constraints that are satisfied. As noted in [27, 28], the initial scheduling system developed for this application had difficulty prod... |

423 | Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
- Minton, Johnston, et al.
- 1992
(Show Context)
Citation Context ... 19] for use in Spike [17], a system for scheduling astronomical observations on the Hubble Space Telescope. The min-conflicts heuristic was distilled from an analysis of the network, as described in =-=[27, 28, 29]-=-. The heuristic has now replaced the neural network in the Spike system, since it can be implemented in a very simple and efficient fashion. We begin the paper with a description of the min-conflicts ... |

397 |
Network-based Heuristics for Constraint-Satisfaction Problems
- Dechter, Pearl
- 1987
(Show Context)
Citation Context ...lustrative problem types, including sparse and dense graph 3-colorability problems. For comparison, the table also shows the corresponding values for the random problem described by Dechter and Pearl =-=[6]. 3.-=-2.2 Value Selection Heuristics The second step in realizing the model is to obtain expressions for the probability of choosing a correct value (P cjs and P cj��s ) based on the conflict probabilit... |

367 |
New methods to color the vertices of a graph
- Brelaz
- 1979
(Show Context)
Citation Context ...pecifically, we compared the min-conflicts method to a simple constructive backtracking algorithm that is known to perform well on graph-coloring problems. The algorithm, originally proposed by Brelaz=-=[4, 42]-=-, can be described as the repeated application of the following rule for choosing a node to color: Find the uncolored node that has the fewest consistent colorings with its neighbors. If there is more... |

248 |
A Computational Model of Skill Acquisition
- Sussman
- 1975
(Show Context)
Citation Context ...uding the traveling salesman and graph partitioning problems[16]. Such techniques also have a long tradition in AI, most notably in problem-solving systems that operate by debugging initial solutions =-=[38, 41]. In this -=-paper, we describe how this idea can be extended to constraint satisfaction problems (CSPs) in a natural manner. Most of the previous work on CSP algorithms has assumed a "constructive" back... |

200 | How easy is local search
- Johnson, Papadimitriou, et al.
- 1988
(Show Context)
Citation Context ...uristics[37, 26, 31, 27, 44, 39, 15]. Techniques based on this approach have met with empirical success on many combinatorial problems, including the traveling salesman and graph partitioning problems=-=[16]-=-. Such techniques also have a long tradition in AI, most notably in problem-solving systems that operate by debugging initial solutions [38, 41]. In this paper, we describe how this idea can be extend... |

172 |
Constraint Directed Search : A Case Study of Job-Shop Scheduling
- Fox
- 1983
(Show Context)
Citation Context ...ison with other approaches. Both of these areas are discussed in this section. Hubble Space Telescope The Hubble Space Telescope scheduling problem can be considered a constrained optimization problem=-=[9, 7]-=- where we must maximize both the number and the importance of the constraints that are satisfied. As noted in [27, 28], the initial scheduling system developed for this application had difficulty prod... |

135 |
Using tabu search techniques for graph coloring
- Hertz, Werra
- 1987
(Show Context)
Citation Context ...couraging studies on repair-based algorithms include Sosic and Gu's work with N-queens[39], Morris's work on constraint-satisfaction problems[30, 31, 32] and a variety of studies on Tabu Search (e.g. =-=[10, 13]-=-), a hill-climbing, local search technique that maintains a list of forbidden moves in order to avoid cycles. 5 Future Work The min-conflicts method outlined in this paper, and repair-based methods in... |

127 | Look-ahead Techniques for Microopportunistic Job Shop Scheduling. Doctoral dissertation
- Sadeh
- 1991
(Show Context)
Citation Context ...e meeting all processing order constraints. This can easily be cast as a constraint satisfaction problem with binary temporal constraints among nm tasks. A set of 60 such problems was defined by Sadeh=-=[36] and used -=-in a comparison of his "micro-opportunistic" scheduler with other techniques, including some of the major current approaches from the operations research community. These same problems were ... |

68 | Almost all k-colorable graphs are easy to color
- Turner
- 1988
(Show Context)
Citation Context ...pecifically, we compared the min-conflicts method to a simple constructive backtracking algorithm that is known to perform well on graph-coloring problems. The algorithm, originally proposed by Brelaz=-=[4, 42]-=-, can be described as the repeated application of the following rule for choosing a node to color: Find the uncolored node that has the fewest consistent colorings with its neighbors. If there is more... |

60 |
A Theory of Debugging Plans and Interpretations
- Simmons
- 1988
(Show Context)
Citation Context ...uding the traveling salesman and graph partitioning problems[16]. Such techniques also have a long tradition in AI, most notably in problem-solving systems that operate by debugging initial solutions =-=[38, 41]. In this -=-paper, we describe how this idea can be extended to constraint satisfaction problems (CSPs) in a natural manner. Most of the previous work on CSP algorithms has assumed a "constructive" back... |

57 |
Case-based Planning: An Integrated Theory of Planning, Learning and Memory
- Hammond
- 1986
(Show Context)
Citation Context ...programs that use repair or debugging strategies to solve problems, primarily in the areas of planning and design[38, 41]. This approach has recently had a renaissance with the emergence of casebased =-=[11, 24]-=- and analogical [14, 22, 43] problem solving. To solve a problem, a case-based system will retreive the solution ?from a previous, similar problem and repair the old solution so that it solves the new... |

56 |
Constrained Heuristic Search
- Fox, Sadeh, et al.
- 1989
(Show Context)
Citation Context ...ew problem. There has also been related work in AI on sophisticated methods for measuring the contention between resources in scheduling problems. This information can then be used in heuristic search=-=[8, 33, 36]. The use of "c-=-onflict counts" can be viewed as a simple measure of resource contention. The fact that the min-conflicts approach performs well on n-queens, a well-studied, "standard" constraintsatisf... |

53 |
A Process Model of Case-Based ‘Reasoning in Problem Solving
- Kolodner, SycaraCyranski
- 1985
(Show Context)
Citation Context ...programs that use repair or debugging strategies to solve problems, primarily in the areas of planning and design[38, 41]. This approach has recently had a renaissance with the emergence of casebased =-=[11, 24]-=- and analogical [14, 22, 43] problem solving. To solve a problem, a case-based system will retreive the solution ?from a previous, similar problem and repair the old solution so that it solves the new... |

45 |
A discrete stochastic neural networks algorithm for constraint satisfaction problems
- Adorf, Johnston
- 1990
(Show Context)
Citation Context ...ion (in terms of the minimum number of repairs that are required) affects the expected utility of the heuristic. The work described in this paper was inspired by a neural network originally developed =-=[20, 2, 19]-=- for use in Spike [17], a system for scheduling astronomical observations on the Hubble Space Telescope. The min-conflicts heuristic was distilled from an analysis of the network, as described in [27,... |

42 | Intelligent Scheduling of Hubble Space Telescope Observations. Intelligent Scheduling
- Johnston
- 1994
(Show Context)
Citation Context ...number of repairs that are required) affects the expected utility of the heuristic. The work described in this paper was inspired by a neural network originally developed [20, 2, 19] for use in Spike =-=[17]-=-, a system for scheduling astronomical observations on the Hubble Space Telescope. The min-conflicts heuristic was distilled from an analysis of the network, as described in [27, 28, 29]. The heuristi... |

36 | A Polynomial Time Algorithm for the N-Queens Problem
- Sosič, Gu
- 1990
(Show Context)
Citation Context ...ffective. 1 Introduction One of the most promising general approaches for solving combinatorial search problems is to generate an initial, suboptimal solution and then to apply local repair heuristics=-=[37, 26, 31, 27, 44, 39, 15]-=-. Techniques based on this approach have met with empirical success on many combinatorial problems, including the traveling salesman and graph partitioning problems[16]. Such techniques also have a lo... |

32 |
Efficient Search Techniques: An Empirical Study of the N-Queens Problem
- Stone, Stone
- 1986
(Show Context)
Citation Context ...d to produce a solution to any instance of the n-queens problem. Nevertheless, the problem has been perceived as relatively "hard" for heuristic search methods. Several studies of the nqueen=-=s problem [40, 12, 23]-=- have compared heuristic backtracking methods such as search rearrangement backtracking (e.g., most-constrained first), forward checking, dependency-directed backtracking, etc. To solve the n-queens p... |

31 |
Scheduling by Iterative Partition of Bottleneck Conflicts
- Muscettola
- 1993
(Show Context)
Citation Context ...on of his "micro-opportunistic" scheduler with other techniques, including some of the major current approaches from the operations research community. These same problems were also used by =-=Muscettola[33] to evalua-=-te his "conflict partition scheduling" approach. We have applied Spike to these problems, using the current Spike version of the min-conflicts algorithm that has superseded the GDS network. ... |

31 |
Anytime Rescheduling
- Zweben, Deal, et al.
- 1990
(Show Context)
Citation Context ...use iterative improvement methods which can be characterized as repair-based. There are several reasons why repair-based methods are well-suited to scheduling applications. First, as Zweben and Gargan=-=[46]-=- have pointed out, unexpected events may require schedule revision, in which case dynamic rescheduling is an important issue. Repair-based methods can be used for rescheduling in a natural manner. Sec... |

26 |
Solving Large Scale Constraint Satisfaction and Scheduling Problems Using a Heuristic Repair Method
- Minton, Johnson, et al.
- 1990
(Show Context)
Citation Context ...ffective. 1 Introduction One of the most promising general approaches for solving combinatorial search problems is to generate an initial, suboptimal solution and then to apply local repair heuristics=-=[37, 26, 31, 27, 44, 39, 15]-=-. Techniques based on this approach have met with empirical success on many combinatorial problems, including the traveling salesman and graph partitioning problems[16]. Such techniques also have a lo... |

16 |
Divide and Conquer under Global Constraints: A Solution to the N -Queens Problem
- Abramson, Yung
- 1989
(Show Context)
Citation Context ...standard benchmark for testing CSP algorithms. In a sense, the problem of finding a single solution has been solved, since there are a number of analytic methods which yield a solution in linear time =-=[1]. For exam-=-ple, there are certain wellknown patterns that can be used to produce a solution to any instance of the n-queens problem. Nevertheless, the problem has been perceived as relatively "hard" fo... |

15 |
An almost perfect heuristic for the n nonattacking queens problem
- Kale
- 1990
(Show Context)
Citation Context ...d independently.) While both methods are specific to n-queens, one method is a repair-based method that is similar to ours in spirit[39], whereas the other employs a constructive backtracking approach=-=[21]-=-. This latter method uses a combination of variable and value-ordering heuristics which take advantage of the particular structure inherent in n-queens. This shows that one can solve n-queens problems... |

13 |
A Planning/Scheduling Methodology for the Constrained Resource Problem
- Keng, Yun
- 1989
(Show Context)
Citation Context ...d to produce a solution to any instance of the n-queens problem. Nevertheless, the problem has been perceived as relatively "hard" for heuristic search methods. Several studies of the nqueen=-=s problem [40, 12, 23]-=- have compared heuristic backtracking methods such as search rearrangement backtracking (e.g., most-constrained first), forward checking, dependency-directed backtracking, etc. To solve the n-queens p... |

12 |
Partial match and search control via internal analogy
- Hickman, Lovett
- 1991
(Show Context)
Citation Context ... or debugging strategies to solve problems, primarily in the areas of planning and design[38, 41]. This approach has recently had a renaissance with the emergence of casebased [11, 24] and analogical =-=[14, 22, 43]-=- problem solving. To solve a problem, a case-based system will retreive the solution ?from a previous, similar problem and repair the old solution so that it solves the new problem. There has also bee... |

12 |
On the density of solutions in equilibrium points for the queens problem
- Morris
- 1992
(Show Context)
Citation Context ...schedule ground maintenance for the space shuttle. Other encouraging studies on repair-based algorithms include Sosic and Gu's work with N-queens[39], Morris's work on constraint-satisfaction problems=-=[30, 31, 32]-=- and a variety of studies on Tabu Search (e.g. [10, 13]), a hill-climbing, local search technique that maintains a list of forbidden moves in order to avoid cycles. 5 Future Work The min-conflicts met... |

12 |
How long will it take
- Musick, Russell
- 1992
(Show Context)
Citation Context ...ve as a heuristic evaluation function. Finally, we close by noting that the theoretical analysis we presented can be extended. Our work, and other recent work on analyzing repair-based search methods =-=[35]-=-, identifies some of the important factors which determine the relative performance of the method. In the future, we would like to extend our analysis to repair methods for other tasks, such as case-b... |

12 |
Learning to improve constraint-based scheduling
- Zweben, Davis, et al.
(Show Context)
Citation Context ...ng is used (i.e., repreenting coloring problems as satisfiability problems). Another notable, recent study with repair-based algorithms was conducted by Zweben and his collegues on scheduling problems=-=[44, 45]-=-, where a system that employs a similar heuristic approach is being used to schedule ground maintenance for the space shuttle. Other encouraging studies on repair-based algorithms include Sosic and Gu... |

11 |
Towards scaling up machine learning: A case study with derivational analogy in PRODIGY
- Veloso, Carbonell
- 1993
(Show Context)
Citation Context ... or debugging strategies to solve problems, primarily in the areas of planning and design[38, 41]. This approach has recently had a renaissance with the emergence of casebased [11, 24] and analogical =-=[14, 22, 43]-=- problem solving. To solve a problem, a case-based system will retreive the solution ?from a previous, similar problem and repair the old solution so that it solves the new problem. There has also bee... |

8 |
Scheduling with Neural Networks - The Case of Hubble Space Telescope
- Johnston, Adorf
- 1991
(Show Context)
Citation Context ...ion (in terms of the minimum number of repairs that are required) affects the expected utility of the heuristic. The work described in this paper was inspired by a neural network originally developed =-=[20, 2, 19]-=- for use in Spike [17], a system for scheduling astronomical observations on the Hubble Space Telescope. The min-conflicts heuristic was distilled from an analysis of the network, as described in [27,... |

8 |
A Framework for Iterative Improvement Search Algorithms Suited for Constraint Satisfaction Problems
- Zweben
- 1990
(Show Context)
Citation Context |

7 |
Learning in stochastic neural networks for constraint satisfaction problems
- Johnston, Adorf
- 1989
(Show Context)
Citation Context ...ion (in terms of the minimum number of repairs that are required) affects the expected utility of the heuristic. The work described in this paper was inspired by a neural network originally developed =-=[20, 2, 19]-=- for use in Spike [17], a system for scheduling astronomical observations on the Hubble Space Telescope. The min-conflicts heuristic was distilled from an analysis of the network, as described in [27,... |

7 |
P.: Solutions Without Exhaustive Search: An Iterative Descent Method for Binary Constraint Satisfaction Problems. In: AAAI-90 Workshop on Constraint Directed Reasoning Working Notes
- Morris
- 1990
(Show Context)
Citation Context ...schedule ground maintenance for the space shuttle. Other encouraging studies on repair-based algorithms include Sosic and Gu's work with N-queens[39], Morris's work on constraint-satisfaction problems=-=[30, 31, 32]-=- and a variety of studies on Tabu Search (e.g. [10, 13]), a hill-climbing, local search technique that maintains a list of forbidden moves in order to avoid cycles. 5 Future Work The min-conflicts met... |

7 |
Generating space telescope observation schedules
- Muscettola, Smith, et al.
- 1989
(Show Context)
Citation Context ...sures to a set of "bins" or time segments of several days length. (The short-term problem involves deriving a detailed series of commands for the telescope and is addressed using different t=-=echniques [34]-=-.) The input to Spike is a set of detailed specifications for exposures that are to be scheduled on the telescope. The constraints relevant to the long term problem are primarily temporal constraints.... |

6 | Knowledge-Based Telescope Scheduling
- Johnston
- 1989
(Show Context)
Citation Context ...Spike is a set of detailed specifications for exposures that are to be scheduled on the telescope. The constraints relevant to the long term problem are primarily temporal constraints. As outlined in =-=[18]-=-, some exposures are designed as calibrations or target acquisitions for others, and so must proceed them. Some must be executed at specific times, or at specific phases in the case of periodic phenom... |

5 |
Bottleneck Identification Using Process Chronologies
- Biefeld, Cooper
- 1991
(Show Context)
Citation Context ... appears to be an excellent application area for repair-based methods. Supporting evidence comes from previous work on other real-world scheduling applications by Zweben et al.[44], Biefeld and Cooper=-=[3]-=- and Kurtzmann[25]. Each of these projects use iterative improvement methods which can be characterized as repair-based. There are several reasons why repair-based methods are well-suited to schedulin... |

3 |
Supporting flexible plan reuse
- Kambhampati
- 1992
(Show Context)
Citation Context ... or debugging strategies to solve problems, primarily in the areas of planning and design[38, 41]. This approach has recently had a renaissance with the emergence of casebased [11, 24] and analogical =-=[14, 22, 43]-=- problem solving. To solve a problem, a case-based system will retreive the solution ?from a previous, similar problem and repair the old solution so that it solves the new problem. There has also bee... |

3 |
The Mfive space station crew activity scheduler and stowage logistics clerk
- Kurtzman, Aiken
- 1989
(Show Context)
Citation Context |

3 |
An iterative improvement algorithm with guaranteed convergence
- Morris
- 1991
(Show Context)
Citation Context |

2 |
Time and Resource Constrained Scheduling, with Applications to Space Station Planning
- Kurtzman
- 1988
(Show Context)
Citation Context ... excellent application area for repair-based methods. Supporting evidence comes from previous work on other real-world scheduling applications by Zweben et al.[44], Biefeld and Cooper[3] and Kurtzmann=-=[25]-=-. Each of these projects use iterative improvement methods which can be characterized as repair-based. There are several reasons why repair-based methods are well-suited to scheduling applications. Fi... |

2 |
The min-conflicts heuristic: Experimental and theoretical results
- Minton, Philips, et al.
- 1991
(Show Context)
Citation Context ... 19] for use in Spike [17], a system for scheduling astronomical observations on the Hubble Space Telescope. The min-conflicts heuristic was distilled from an analysis of the network, as described in =-=[27, 28, 29]-=-. The heuristic has now replaced the neural network in the Spike system, since it can be implemented in a very simple and efficient fashion. We begin the paper with a description of the min-conflicts ... |