Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Parrello, B., Kabat, W., Wos, L.: Job-shop scheduling using automated reasoning: a case study of the car-sequencing problem. Journal of Automated Reasoning 2, 1–42 (1986)
2. Dincbas, M., Simonis, H., Hentenryck, P.V.: Solving the car-sequencing problem in constraint logic programming. In: Kodratoff, Y. (ed.) Proceedings ECAI 1988, pp. 290–295 (1988)
3. Hentenryck, P.V., Simonis, H., Dincbas, M.: Constraint satisfaction using constraint logic programming. Artificial Intelligence 58, 113–159 (1992)
4. Lecture Notes in Computer Science;B. Smith,1997
5. Lecture Notes in Computer Science;J.C. Regin,1997
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献