Author:
Butaru Mihaela,Habbas Zineb
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Parrello, B.D., Kabat, W.C., Wos, L.: Job-shop schedulind using automated reasoning: a case study of the car-sequencing problem. Journal of Automated Reasoning 2, 1–42 (1986)
2. Smith, B.M.: Succeed-first or fail-first: A case study in variable and value ordering. Report 96.26, University of Leeds (1996)
3. Régin, J.C., Puget, J.F.: A filtering algorithm for global sequencing constraints. Constraint Programming, 32–46 (1997)
4. Bessière, C., Meseguer, P., Freuder, C., Larossa, J.: On forward checking for non binary constraint satisfaction. Artificial Intelligence 141, 205–224 (2002)
5. van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献