参考文献

1

Borning, A., ``The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory,'' ACM Transactions on Programming Languages and Systems, vol. 3, no. 4, Oct. 1981, pp. 353--387.

2

Borning, A., B. Freeman-Benson, and M. Wilson, ``Constraint Hierarchies,'' Lisp and Symbolic Computation, vol. 5, no. 3, Sept. 1992, pp. 223--270.

3

Chvatal, V., Linear Programming. New York: Freeman, 1983.

4

Freeman-Benson, B. N., J. Maloney, and A. Borning, ``An Incremental Constraint Solver,'' Communications of the ACM, vol. 33, no. 1, Jan. 1990, pp. 54--63.

5

Jaffar, J., S. Michaylov, P. J. Stuckey, and R. H. C. Yap, ``The CLP(R) Language and System,'' ACM Transactions on Programming Languages and Systems, vol. 14, no. 3, 1992, pp. 339--395.

6

Sannella, M., ``SkyBlue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction,'' in Proceedings of the ACM Symposium on User Interface Software and Technology (UIST), Nov. 1994, pp. 137--146.

7

Sussman, G. J. and G. L. Steele Jr., ``CONSTRAINTS---A Language for Expressing Almost Hierarchical Descriptions,'' Artificial Intelligence, vol. 14, 1980, pp. 1--39.

8

細部博史, 松岡 聡, and 米澤明憲, ``階層線形系を用いた効率的な制約階層解消法,'' in インタラクティブシステムとソフトウェアV (日本ソフトウェア科学会WISS'97) (尾内理紀夫, ed.), no. 18 in レクチャーノート/ソフトウェア学, 近代科学社, 1997年12月, pp. 129--134.