Integration of AI and OR techniques in constraint programming for combinatorial optimization problems 4th international conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007 : proceedings /
This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. The 27 revised full papers presented were carefully reviewe...
| Corporate Authors: | International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems Brussels, Belgium) |
|---|---|
| Other Authors: | International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, Van Hentenryck, Pascal., Wolsey, Laurence A., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2007.
Berlin ; New York : [2007] |
| Physical Description: |
1 online resource (x, 390 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
4510. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
| LEADER | 10068cam a2201477 a 4500 | ||
|---|---|---|---|
| 001 | 184986501 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 071221s2007 gw a ob 101 0 eng d | ||
| 016 | 7 | |a 983897948 |2 DE-101 | |
| 016 | 7 | |a 013762462 |2 Uk | |
| 019 | |a 153879982 |a 228381591 |a 466115075 |a 476135414 |a 607259229 |a 613624242 |a 648154549 |a 648311983 |a 814503635 |a 880098887 |a 964903076 |a 1005784684 |a 1033886487 |a 1035707747 |a 1044613242 |a 1056345221 |a 1060845258 |a 1066513068 |a 1066583531 |a 1074317221 |a 1081211245 |a 1086510209 |a 1105591418 |a 1105596949 |a 1112557446 |a 1132294474 |a 1167114544 |a 1204035741 |a 1239221442 |a 1262689285 | ||
| 020 | |a 9783540723974 | ||
| 020 | |a 3540723978 | ||
| 020 | |a 354072396X | ||
| 020 | |a 9783540723967 | ||
| 020 | |a 9786610949212 | ||
| 020 | |a 6610949212 | ||
| 024 | 7 | |a 10.1007/978-3-540-72397-4 |2 doi | |
| 035 | |a (OCoLC)184986501 |z (OCoLC)153879982 |z (OCoLC)228381591 |z (OCoLC)466115075 |z (OCoLC)476135414 |z (OCoLC)607259229 |z (OCoLC)613624242 |z (OCoLC)648154549 |z (OCoLC)648311983 |z (OCoLC)814503635 |z (OCoLC)880098887 |z (OCoLC)964903076 |z (OCoLC)1005784684 |z (OCoLC)1033886487 |z (OCoLC)1035707747 |z (OCoLC)1044613242 |z (OCoLC)1056345221 |z (OCoLC)1060845258 |z (OCoLC)1066513068 |z (OCoLC)1066583531 |z (OCoLC)1074317221 |z (OCoLC)1081211245 |z (OCoLC)1086510209 |z (OCoLC)1105591418 |z (OCoLC)1105596949 |z (OCoLC)1112557446 |z (OCoLC)1132294474 |z (OCoLC)1167114544 |z (OCoLC)1204035741 |z (OCoLC)1239221442 |z (OCoLC)1262689285 | ||
| 037 | |a 978-3-540-72396-7 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d GW5XE |d OCLCQ |d HNK |d AU@ |d UAB |d E7B |d UBC |d MND |d IDEBK |d YNG |d OCLCO |d OCLCQ |d BEDGE |d OCLCQ |d SLY |d OCLCO |d YDXCP |d NUI |d OCLCQ |d OCLCO |d EBLCP |d DEBSZ |d OCLCO |d OCLCQ |d OCLCO |d VT2 |d OCLCQ |d ESU |d OCLCQ |d U3W |d OCLCF |d AUD |d OCLCQ |d STF |d OCLCQ |d CEF |d TFW |d OCLCQ |d WYU |d ICG |d LEAUB |d OCLCQ |d OL$ |d OCLCQ |d CNTRU |d ERF |d WURST |d OCLCQ |d DCT |d EUX |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a Q340 |b .I575 2007eb | |
| 072 | 7 | |a Q |2 lcco | |
| 072 | 7 | |a UYQ |2 bicssc | |
| 072 | 7 | |a TJFM1 |2 bicssc | |
| 072 | 7 | |a COM004000 |2 bisacsh | |
| 082 | 0 | 4 | |a 519.64 |2 22 |
| 084 | |a O224-532 |2 clc | ||
| 084 | |a TP18-532 |2 clc | ||
| 111 | 2 | |a International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems |n (4th : |d 2007 : |c Brussels, Belgium) | |
| 245 | 1 | 0 | |a Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : |b 4th international conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007 : proceedings / |c Pascal van Hentenryck, Laurence Wolsey (eds.). |
| 246 | 3 | |a Integration of artificial intelligence and operations research techniques in constraint programming for combinatorial optimization problems. | |
| 246 | 3 | 0 | |a Constraint programming for combinatorial optimization problems. |
| 246 | 3 | 0 | |a CPAIOR 2007. |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2007. | ||
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2007] | |
| 264 | 4 | |c ©2007. | |
| 300 | |a 1 online resource (x, 390 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 4510. | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. The 27 revised full papers presented were carefully reviewed and selected from 80 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. | ||
| 505 | 0 | |a Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches -- Connections in Networks: Hardness of Feasibility Versus Optimality -- Modeling the Regular Constraint with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems -- The?Not-Too-Heavy Spanning Tree? Constraint -- Eliminating Redundant Clauses in SAT Instances -- Cost-Bounded Binary Decision Diagrams for 0-1 Programming -- YIELDS: A Yet Improved Limited Discrepancy Search for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows for RCPSPWET with the Primal-Dual Method -- Necessary Condition for Path Partitioning Constraints -- A Constraint Programming Approach to the Hospitals / Residents Problem -- Best-First AND/OR Search for 0/1 Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional Interchangeability for Enhancing CSP Solving -- A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production -- Replenishment Planning for Stochastic Inventory Systems with Shortage Cost -- Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search -- The Deviation Constraint -- The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width -- On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via Concavity Cuts -- Bender's Cuts Guided Large Neighborhood Search for the Traveling Umpire Problem -- A Large Neighborhood Search Heuristic for Graph Coloring -- Generalizations of the Global Cardinality Constraint for Hierarchical Resources -- A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems. | |
| 650 | 0 | |a Combinatorial optimization |x Data processing |v Congresses. | |
| 650 | 0 | |a Constraint programming (Computer science) |v Congresses. | |
| 650 | 0 | |a Constraints (Artificial intelligence) |v Congresses. | |
| 650 | 0 | |a Operations research |x Technique |v Congresses. | |
| 650 | 0 | |a Artificial intelligence |x Technique |v Congresses. | |
| 650 | 6 | |a Optimisation combinatoire |x Informatique |v Congrès. | |
| 650 | 6 | |a Programmation par contraintes |v Congrès. | |
| 650 | 6 | |a Contraintes (Intelligence artificielle) |v Congrès. | |
| 650 | 6 | |a Recherche opérationnelle |x Technique |v Congrès. | |
| 650 | 6 | |a Intelligence artificielle |x Technique |v Congrès. | |
| 650 | 0 | 7 | |a Constraint programming (Computer science) |2 cct. |
| 650 | 0 | 7 | |a Constraints (Artificial intelligence) |2 cct. |
| 650 | 0 | 7 | |a Operations research |x Technique. |2 cct. |
| 650 | 0 | 7 | |a Artificial intelligence |x Technique. |2 cct. |
| 650 | 0 | 7 | |a Combinatorial optimization |x Data processing. |2 cct. |
| 650 | 7 | |a Informatique. |2 eclas. | |
| 650 | 7 | |a Combinatorial optimization |x Data processing. |2 fast. | |
| 650 | 7 | |a Constraint programming (Computer science) |2 fast. | |
| 650 | 7 | |a Constraints (Artificial intelligence) |2 fast. | |
| 653 | 0 | 0 | |a algoritmen. |
| 653 | 0 | 0 | |a algorithms. |
| 653 | 0 | 0 | |a computeranalyse. |
| 653 | 0 | 0 | |a computer analysis. |
| 653 | 0 | 0 | |a wiskunde. |
| 653 | 0 | 0 | |a mathematics. |
| 653 | 0 | 0 | |a computertechnieken. |
| 653 | 0 | 0 | |a computer techniques. |
| 653 | 0 | 0 | |a operationeel onderzoek. |
| 653 | 0 | 0 | |a operations research. |
| 653 | 0 | 0 | |a computerwetenschappen. |
| 653 | 0 | 0 | |a computer sciences. |
| 653 | 0 | 0 | |a kunstmatige intelligentie. |
| 653 | 0 | 0 | |a artificial intelligence. |
| 653 | 0 | 0 | |a combinatoriek. |
| 653 | 0 | 0 | |a combinatorics. |
| 653 | 0 | 0 | |a numerieke methoden. |
| 653 | 0 | 0 | |a numerical methods. |
| 653 | 1 | 0 | |a Information and Communication Technology (General) |
| 653 | 1 | 0 | |a Informatie- en communicatietechnologie (algemeen) |
| 655 | 2 | |a Congress. | |
| 655 | 7 | |a proceedings (reports) |2 aat. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf. | |
| 700 | 1 | |a Van Hentenryck, Pascal. | |
| 700 | 1 | |a Wolsey, Laurence A. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 776 | 0 | 8 | |i Print version: |a International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (4th : 2007 : Brussels, Belgium). |t Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. |d Berlin ; New York : Springer, ©2007 |z 9783540723967 |z 354072396X |w (DLC) 2007926618 |w (OCoLC)137334562. |
| 830 | 0 | |a Lecture notes in computer science ; |v 4510. |x 0302-9743. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. | |
| 907 | |a .b52929371 |b multi |c - |d 161130 |e 240320 | ||
| 998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 2 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Overnight, in 2023.01 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 2018.05 | ||
| 948 | |a MARCIVE Comp, 2017.10 | ||
| 948 | |a MARCIVE August, 2017 | ||
| 948 | |a MARCIVE Aug 5, 2017 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2023.01 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.09 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a OCLC offline update by CMU | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150157733 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-540-72397-4 |3 SpringerLink |z Click here for access | ||