Coverart for item
The Resource 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.), (electronic resource)

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.), (electronic resource)

Label
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
Title
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Title remainder
first international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings
Statement of responsibility
Jean-Charles Régin, Michel Rueher (eds.)
Title variation
  • Integration of artificial intelligence and operations research techniques in constraint programming for combinatorial optimization problems
  • First international conference, CPAIOR 2004
  • International conference, CPAIOR 2004
  • CPAIOR 2004
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2004, held in Nice, France in April 2004. The 23 revised full papers and 7 revised short papers presented together with an invited talk were carefully reviewed and selected from 56 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming
Member of
Cataloging source
N$T
Dewey number
005.116
Illustrations
illustrations
Index
index present
LC call number
Q340
LC item number
.I575 2004eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Régin, Jean-Charles
  • Rueher, Michel
Series statement
Lecture notes in computer science,
Series volume
3011
http://library.link/vocab/subjectName
  • Constraints (Artificial intelligence)
  • Constraint programming (Computer science)
  • Combinatorial optimization
  • Artificial intelligence
  • Operations research
  • Contraintes (Intelligence artificielle)
  • Intelligence artificielle
  • Optimisation combinatoire
  • Programmation par contraintes
  • Recherche opérationnelle
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • Contrainte (Intelligence artificielle)
  • Programmation par contraintes
  • Intelligence artificielle
  • Optimisation combinatoire
  • Recherche opérationnelle
  • Constraint-Programmierung
  • Kombinatorische Optimierung
  • Nizza (2004)
Label
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.), (electronic resource)
Link
http://dx.doi.org/10.1007/b96957
Instantiates
Publication
Note
"Proceedings of the 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems"--Pref
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online bron
Carrier category code
  • cr
Carrier MARC source
rdacarrier/dut
Color
multicolored
Content category
tekst
Content type code
  • txt
Content type MARC source
rdacontent/dut
Contents
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 -- Making Choices 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
Dimensions
unknown
Extent
1 online resource (xi, 414 p.)
File format
unknown
Form of item
online
Isbn
9783540246640
Isbn Type
(electronic bk.)
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia/dut
Media type code
  • c
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)60762463
  • (OCoLC)ocm60762463
Label
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.), (electronic resource)
Link
http://dx.doi.org/10.1007/b96957
Publication
Note
"Proceedings of the 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems"--Pref
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online bron
Carrier category code
  • cr
Carrier MARC source
rdacarrier/dut
Color
multicolored
Content category
tekst
Content type code
  • txt
Content type MARC source
rdacontent/dut
Contents
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 -- Making Choices 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
Dimensions
unknown
Extent
1 online resource (xi, 414 p.)
File format
unknown
Form of item
online
Isbn
9783540246640
Isbn Type
(electronic bk.)
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia/dut
Media type code
  • c
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)60762463
  • (OCoLC)ocm60762463

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...