参考文献

1

白井 康之, 長谷川 隆三:モデル生成型定理証明システムに よる制約充足問題の解決とその並列化,電子情報通信学会論文誌, Vol.J80-D-II, No.1, 224-236,1996.

2

Burstein, M, Channel Routing in: Layout Design and Verification, North-Holland, 1986, 133-167.

3

Fujita, H. and Hasegawa, R.: A Model-generation Theorem Prover in KL1 Using Ramified Stack Algorithm, Proc. ICLP, 535-548, 1991.

4

Liu, X., Sakamoto, A. and Shimamoto, T., Genetic Channel Router, in: IEICE Trans. Fundamentals, 1994, E77-A:492-501.

5

Simonis, H., Channel Routing Seen as a Constraint Problem, Tech. Rep., TR-LP-51, ECRC, Munich, July, 1990.

6

Takefuji, , Neural Network Parallel Computing, Kluwer Academic Publishers, 1992.

7

Yoshimura, T. and Kuh, E.S., Efficient Algorithms for Channel Routing, in: IEEE Trans. CAD, 1:25-35 (1982).

8

Zhou, N.F., A Logic Programming Approach to Channel Routing, in: Proc. 12th International Conference on Logic Programming, MIT Press, 159-173, 1994.