Maruyama, F. et al., "Solving Combinatorial Constraint Satisfaction and Optimization Problems Using Sufficient Conditions for Constraint Violation", Proceedings of International Symposium on Artificial Intelligence 1991, Mexico, pp. 269-275. |
Gavish, B., "Augmented Lagrangean Based Algorithms for Centralized Network Design", IEEE Transactions on Communications, vol. COM33, No. 12, Dec. 1985. |
Feldman et al., "Optimization Algorithms for Student Scheduling via Constraint Satisfiability", The Computer Journal, vol. 33, No. 4, Aug. 1990, pp. 356-364. |
Costa, M. C., "Une Etude Pratique de Decoupes de Panneaux de Bois", R.A.I.R.O. Recherche Operationnelle, vol. 18, No. 3, Aug. 1984, pp. 211-219. |
European Search Report, The Hague, Apr. 19, 1993. |
Wah et al., "MANIP--A Multicomputer Architecture for Solving Combinatorial Extremum-Search Problems", IEEE Trans. on Computers, May 1984, 377-390. |
de Kleer et al., "Diagnosing Multiple Faults", Artificial Intelligence, 1987, 97-130. |
Baldwin, D., "Consul: A Parallel Constraint Language," IEEE Software, Jul. 1989, 62-69. |
Minton et al., "Solving Large-Scale Constraint Satisfaction and Scheduling Problems Using a Heuristic Repass Method", AAAI-90, Jul. 1990; 17-24. |
Cohen, J., "Constraint Logic Programming Languages", Comm. of the ACM, Jul. 1990, 52-68. |