Accéder directement au contenu Accéder directement à la navigation
Autre publication

Constraint programming

Abstract : There has been a lot of interest lately from people solving constrained optimization problems for constraint programming (CP). Constraint programming cannot be described as a technique by itself but perhaps better as a class of computer languages tailored to the expression and resolution of problems which are non-deterministic in nature, with a fast program development and efficient runtime performances. Constraint programming derives from logic programming, operational research and artificial intelligence. Logic programming offers the general non-deterministic host language which accomodates delicated constraint solvers from OR and AI such as linear programming or constraint satisfaction techniques. In this paper, we first review how pure logic programming languages evolved into constraint logic programming (CLP) languages, bringing to light the interface between logic programming and constraint solvers. Some extra attention is given to a specific class of constraint solving techniques which have been developed in the constraint satisfaction problem framework and which are currently used in most CLP languages to solve constrained problems in finite domains. We finally conclude by an overview of some existing CP languages, with some examples taken from scheduling.
Type de document :
Autre publication
Liste complète des métadonnées

Littérature citée [75 références]  Voir  Masquer  Télécharger

https://hal.inrae.fr/hal-02850710
Déposant : Migration Prodinra <>
Soumis le : dimanche 7 juin 2020 - 21:26:48
Dernière modification le : mardi 8 septembre 2020 - 10:52:04

Fichier

10.1.1.55.396_1.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • HAL Id : hal-02850710, version 1
  • PRODINRA : 135866

Collections

Citation

P. Esquirol, P. Lopez, Hélène Fargier, Thomas Schiex. Constraint programming. 1995. ⟨hal-02850710⟩

Partager

Métriques

Consultations de la notice

2

Téléchargements de fichiers

10