A component language for hybrid solver cooperations

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

Volumn 3261, Issue , 2004, Pages 192-202

  Monfroy, Eric ^a   Castro, Carlos ^b  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^b DEPARTAMENTO DE FÍSICA   (Chile)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC LANGUAGES; CONSTRAINED OPTIMIZATION; INFORMATION SYSTEMS; OPTIMIZATION;

ALGORITHMICS; COMPONENT LANGUAGE; CONSTRAINED OPTIMI-ZATION PROBLEMS; HYBRID COOPERATIONS; SIMPLE++; CONSTRAINED OPTIMISATION PROBLEMS;

CONSTRAINED OPTIMIZATION; ALGORITHMIC LANGUAGES;

EID: 33646791401     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30198-1_20     Document Type: Article

References (12)

1. K.R. Apt. Principles of Constraint Programming. Cambridge Univ. Press, 2003.
2. F. Arbab. Manifold 2.0 Reference Manual. CWI, The Netherlands, May 1997.
3. C. Castro, E. Monfroy, and C. Ringeissen. A Rule Language for Interaction. In Recent Advances in Constraints 2003, volume 3010 of LNAI. Springer, 2004.
4. D. Habet, C. M. Li, L. Devendeville, and M. Vasquez. A hybrid approach for sat. In Proc. of CP'2000, number 1894 in LNCS. Springer, 2000.
5. N. Jussien and O. Lhomme. Local search with constraint propagation and conflict-based heuristics. Artificial Intelligence, 2002.
6. E. Monfroy and C. Castro. Basic Components for Constraint Solver Cooperations. In Proc. of ACM SAC'2003. ACM Press, 2003.
7. E. Monfroy, F. Saubion, and T. Lambert. On hybridization of local search and constraint propagation. In Proc. of ICLP'04, number xxxx in LNCS. Springer, 2004. To appear.
8. G.A. Papadopoulos and F. Arbab. Coordination models and languages. In Advances in Computers - The Engineering of Large Systems, volume 46, pages 329-400. Academic Press, 1998.
9. G. Pesant and M. Gendreau. A view of local search in constraint programming. In Proc. of CP'96, number 1118 in LNCS. Springer, 1996.
10. P. Shaw. Using constraint programming and local search methods to solve vehicle routing problems. In Proc. of CP'98, number 1250 in LNCS. Springer, 1998.
11. M. Solomon. Algorithms for the vehicle routing and scheduling problem with time window constraints. Operations Research, pages 254-365, 1987.
12. Edward Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.