The car-sequencing problem as n-ary CSP - Sequential and parallel solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3809 LNAI, Issue , 2005, Pages 875-878

  Butaru, Mihaela ^a   Habbas, Zineb ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Constraint satisfaction; Heuristics; Problem solving; Scheduling

Indexed keywords

AUTOMOBILE MANUFACTURE; CONSTRAINT THEORY; PROBLEM SOLVING; ROBOTIC ASSEMBLY; SCHEDULING;

ASSEMBLY LINES; CONSTRAINT SATISFACTION; HEURISTICS; PROGRAMMING TOOLS;

PARALLEL PROCESSING SYSTEMS;

EID: 33745619009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11589990_100     Document Type: Conference Paper

References (13)

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 (1986) 1-42
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 (1997) 32-46
4. Bessière, C., Meseguer, P., Freuder, C., Larossa, J.: On forward checking for non binary constraint satisfaction. Artificial Intelligence 141 (2002) 205-224
5. van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)
6. Puget, J.F.: A c++ implementation of clp. In: Proceedings of SPICIS94 (Singapore International Conference on Intelligent Systems). (1994)
7. Haralick, R.M., Elliot, G.L.: Increasing the search efficiency for constraint satisfaction problems. Artificial Intelligence 14 (1980) 263-313
8. Dincbas, M., Simonis, H., van Hentenryck, P.: Solving the car-sequencing problem in constraint logic programming. In: Proceedings ECAI-88. (1988) 290-295
9. Butaru, M., Habbas, Z.: Sequential and parallel solving for the car-sequencing problem. Rapport interne 2005-101, Université de Metz, Laboratoire d'Informatique Théorique et Appliquée (2005)
10. Butaru, M., Habbas, Z.: Problèmes de satisfaction de contraintes n-aire: une étude expérimentale. In: Actes des Premières Journées Francophones de Programmation par Contraintes (JFPC05), Lens, France (8-10 Juin, 2005)
11. Butaru, M., Habbas, Z.: Parallel solving with n-ary forward checking: A shared memory implementation. In: Proceedings of the First International Workshop on OpenMP (IWOMP05), Eugene, Oregon, USA (June 1-4, 2005) to appear.
12. OpenMP Architecture Review Board: OpenMP Application Program Interface. (2005) http://www.openmp.org.
13. Boivin, S., Gravel, M., Krajecki, M., Gagné, C.: Résolution du problème de car-sequencing à l'aide d'une approche de type fc. In: Actes des Premières Journées Francophones de Programmation par Contraintes (JFPC05), Lens, France (8-10 Juin, 2005)