An experimental comparison of three modified DeltaBlue algorithms

  • Tetsuya Suzuki
  • Nobuo Kakinuma
  • Takehiro Tokuda
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1118)


We present an experimental comparison of three modified DeltaBlue algorithms for local-propagation-based constraint solving. Our three modified methods are respectively called DeltaDown method, DeltaUp method and DeltaCost method. These methods were designed to speed up the planning phase or the evaluation phase of the original DeltaBlue method using additional cost functions to break a tie of the walkabout strength. Our cost functions are respectively called up cost and down cost. These cost functions can give us information about the upstream and the downstream constraints. Our experiments show that DeltaUp method brings us a considerable improvement of the total performance of DeltaBlue method using a small overhead of keeping the cost function.


Constraint solving algorithm Local propagation DeltaBlue method DeltaDown method DeltaUp method DeltaCost method 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Borning, A. H.: ThingLabA Constraint-Oriented Simulation Laboratory. PhD Dissertraiton, Stanford University(March 1979).Google Scholar
  2. 2.
    Borning, A. H., Duisberg R., Freeman-Benson B., Kramer A., and Woolf, M.: Constraint Hierarchies, Proceedings of the 1987 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 48–60, 1987.Google Scholar
  3. 3.
    Freeman-Benson, B. N., Maloney, J. and Borning, A.: An Incremental Constraint Solver, Communications of the ACM, 33:1, 54–63, 1990.Google Scholar
  4. 4.
    Leler, W.: Constraint Programming Languages, Addison-Wesley, 1988.Google Scholar
  5. 5.
    Maloney, J.H.: Using Constraints for User Interface Construction, PhD thesis 91-08-12, Department of Computer Science and Engineering FR-35, University of Washington, 1991.Google Scholar
  6. 6.
    Sannella M.: The SkyBlue Constraint Solver, Technical Report 92-07-02, Department of Computer Science and Engineering, University of Washington, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Tetsuya Suzuki
    • 1
  • Nobuo Kakinuma
    • 1
  • Takehiro Tokuda
    • 1
  1. 1.Dept. of Comp. ScienceTokyo Inst. of Tech.TokyoJapan

Personalised recommendations