Stuart A. Grant

Learn More
Variable ordering heuristics can have a profound eeect on the performance of backtracking search algorithms for constraint satisfaction problems. The smallest-remaining-domain heuristic is a commonly-used dynamic variable ordering heuristic, used in conjunction with algorithms such as forward checking which look ahead at the eeects of each variable(More)
Randomly-generated constraint satisfaction problems go through a phase transition as the constraint tightness varies. Loose constraints give anèasy-soluble' region, where problems have many solutions and are almost always easy to solve. However, in this region, systematic search algorithms may occasionally encounter problems which are extremely expensive to(More)
Many types of problem exhibit a phase transition as a problem parameter is varied, from a region where most problems are easy and soluble to a region where most problems are easy but insoluble. In the intervening phase transition region, the median problem dii-culty is greatest. However, occasional exceptionally hard problems (ehps) can be found in the easy(More)
In this paper, we study two recently presented algorithms employing a \full look-ahead" strategy: MAC (Maintaining Arc Consistency); and the hybrid MAC-CBJ, which combines connict-directed backjumping capability with MAC. We observe their behaviour with respect to the phase transition properties of randomly-generated binary constraint satisfaction problems,(More)
The ability to provide an extended duration of analgesia of days following a single injection without the need for catheters, pumps and infusion systems would be a great benefit in acute and chronic pain. Exciting progress is being made in our ability to combine local anaesthetics with liposomes and polymer microspheres. These interesting formulations in(More)
Phase transition behaviour has been observed in many classes of problem as a control parameter is varied, prompting a urry of research activity in recent years. This work has generally concentrated on the phase transitions found when searching problems for solutions, which occur between regions where most problems are easy to solve and regions where most(More)
  • 1