The DeltaUp constraint solver: Minimizing the number of method of selections in DeltaBlue

Tetsuya Suzuki, Takehiro Tokuda

Research output: Contribution to journalArticle


We present a modification of the DeltaBlue constraint solver called DeltaUp. DeltaBlue is an incremental constraint solver based on local propagation, which is widely used for constructing graphical user interfaces and algorithm animations. DeltaUp minimizes the number of time-consuming tasks of DeltaBlue, namely method selections, in each planning phase. To compute the exact number of needed method selections, we introduced a cost function up-cost to DeltaBlue. Our benchmarks show that DeltaUp is approximately two times faster than DeltaBlue in the best case. Even in the worst case, it is only slightly slower than DeltaBlue.

Original languageEnglish
Pages (from-to)1351-1361
Number of pages11
JournalSoftware - Practice and Experience
Issue number14
Publication statusPublished - 2001 Nov 25


ASJC Scopus subject areas

  • Software

Cite this