Though CSP scheduling models have tended to assume fairly general representations of temporal constraints, most work has restricted attention to problems that require allocation of simple, unit-capacity resources. This paper considers an extended class of scheduling problems where resources have capacity to simultaneously support more than one activity, and resource availability at any point in time is consequently a function of whether sufficient unallocated capacity remains. We present a progression of algorithms for solving such multiple-capacitated scheduling problems, and evaluate the performance of each with respect to problem solving ability and quality of solutions generated. A previously reported algorithm, named the Conflict Free Solution Algorithm (CFSA), is first evaluated against a set of problems of increasing dimension and is shown to be of limited effectiveness. Two variations of this algorithm are then introduced which incorporate measures of temporal flexibility as an alternative heuristic basis for directing the search, and the variant making broadest use of these search heuristics is shown to yield significant performance improvement. Observations about the tendency of the CFSA solution approach to produce unnecessarily overconstrained solutions then lead to development of a second heuristic algorithm, named Earliest Start Time Algorithm (ESTA). ESTA is shown to be the most effective of the set, both in terms of its ability to efficiently solve problems of increasing scale and its ability to produce schedules that minimize overall completion time while retaining solution robustness.
[1]
Douglas R. Smith,et al.
Scheduling an Asynchronously Shared Resource
,
1996,
CP.
[2]
Éric D. Taillard,et al.
Benchmarks for basic scheduling problems
,
1993
.
[3]
Malik Ghallab,et al.
Planning with Sharable Resource Constraints
,
1995,
IJCAI.
[4]
A. El-Kholy,et al.
Temporal and Resource Reasoning in Planning: the parcPLAN approach
,
1996,
ECAI.
[5]
Emile H. L. Aarts,et al.
Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling
,
1994,
European Conference on Artificial Intelligence.
[6]
Amedeo Cesta,et al.
A Tabu Search Strategy to Solve Scheduling Problems with Deadlines and Complex Metric Constraints
,
1997,
ECP.
[7]
Stephen F. Smith,et al.
Generating Feasible Schedules under Complex Metric Constraints
,
1994,
AAAI.
[8]
Stephen F. Smith,et al.
A Constraint Satisfaction Approach to Makespan Scheduling
,
1996,
AIPS.
[9]
Rina Dechter,et al.
Temporal Constraint Networks
,
1989,
Artif. Intell..
[10]
Amedeo Cesta,et al.
A Time and Resource Problem for Planning Architectures
,
1997,
ECP.
[11]
Giuseppe F. Italiano,et al.
Incremental algorithms for minimal length paths
,
1991,
SODA '90.
[12]
Stephen F. Smith,et al.
Stochastic Procedures for Generating Feasible Schedules
,
1997,
AAAI/IAAI.
[13]
Norman Sadeh,et al.
Look-ahead techniques for micro-opportunistic job shop scheduling
,
1992
.