Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : First international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : Proceedings
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
3011 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, First international conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, Jean-Charles Régin, Michel Rueher (Eds.), Berlin, Springer, 2004, 1 vol. (XI-414 p.), Lecture notes in computer science, 3-540-21836-X • Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Texte imprimé, 9783662194287 |
| LEADER | 05125nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 972390 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15522333X | ||
| 020 | |a 9783540246640 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.116 | ||
| 100 | 1 | |a Régin, Jean-Charles. | |
| 245 | 1 | 0 | |a Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : |b First international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : Proceedings |c [edited by] Jean-Charles Régin, Michel Rueher. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3011 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Paper -- Using MILP and CP for the Scheduling of Batch Chemical Processes -- Technical Papers -- SIMPL: A System for Integrating Optimization Techniques -- A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times -- Simple Rules for Low-Knowledge Algorithm Selection -- Filtering Algorithms for the Same Constraint -- Cost Evaluation of Soft Global Constraints -- SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems -- Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming -- Generating Benders Cuts for a General Class of Integer Programming Problems -- A Constraint Programming Model for Tail Assignment -- Super Solutions in Constraint Programming -- Local Probing Applied to Network Routing -- Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights -- Filtering Methods for Symmetric Cardinality Constraint -- Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints -- Combining Forces to Solve the Car Sequencing Problem -- Travelling in the World of Local Searches in the Space of Partial Assignments -- A Global Constraint for Nesting Problems -- Models and Symmetry Breaking for Peaceable Armies of Queens -- A Global Constraint for Graph Isomorphism Problems -- Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem -- Scheduling Abstractions for Local Search -- O(nlog n) Filtering Algorithms for Unary Resource Constraint -- Problem Decomposition for Traffic Diversions -- Short Papers -- LP Relaxations of Multiple all_different Predicates -- Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming -- MakingChoices Using Structure at the Instance Level within a Case Based Reasoning Framework -- The Challenge of Generating Spatially Balanced Scientific Experiment Designs -- Building Models through Formal Specification -- Stabilization Issues for Constraint Programming Based Column Generation -- A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Recherche opérationnelle | ||
| 650 | |a Informatique | ||
| 650 | |a Optimisation combinatoire | ||
| 650 | |a Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Analyse numérique | ||
| 650 | |a Contraintes (intelligence artificielle) | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Programmation par contraintes | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Rueher, Michel, |d 19..- |4 pbd | |
| 711 | 2 | |a International conference on integration of AI and OR techniques in constraint programming for combinatorial optimisation problems |n (1 |d :2004 |c :Nice, France). |4 aut | |
| 776 | 0 | |0 078647614 |t Integration of AI and OR techniques in constraint programming for combinatorial optimization problems |o First international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 |o Proceedings |f Jean-Charles Régin, Michel Rueher (Eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (XI-414 p.) |s Lecture notes in computer science |z 3-540-21836-X | |
| 776 | 0 | |t Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems |b Texte imprimé |z 9783662194287 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b96957 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-8Q096QDB-8 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750642068 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b96957 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753993309 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b96957 |z Accès INSA CVL | |
| 997 | |0 972390 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||