Description |
1 online resource (xi, 402 pages) : illustrations |
Series |
Lecture notes in computer science, 1611-3349 ; 7874 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7874. 1611-3349
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers / Tobias Achterberg, Ashish Sabharwal -- Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling / Stefan Heinz, Wen-Yang Ku -- Cloud Branching / Timo Berthold, Domenico Salvagnin -- Modeling Robustness in CSPs as Weighted CSPs / Laura Climent, Richard J. Wallace -- Some New Tractable Classes of CSPs and Their Relations with Backtracking Algorithms / Achref El Mouelhi, Philippe Jégou -- Revisiting Hyper Binary Resolution / Marijn J.H. Heule, Matti Järvisalo -- Decision Diagrams and Dynamic Programming / John N. Hooker -- CP Methods for Scheduling and Routing with Time-Dependent Task Costs / Elena Kelareva, Kevin Tierney, Philip Kilby -- An MDD Approach to Multidimensional Bin Packing / Brian Kell, Willem-Jan van Hoeve -- A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint / Arnaud Letort, Mats Carlsson |
|
Enumerating Infeasibility: Finding Multiple MUSes Quickly / Mark H. Liffiton, Ammar Malik -- Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem / Yuri Malitsky, Deepak Mehta -- Improved Discrete Reformulations for the Quadratic Assignment Problem / Axel Nyberg, Tapio Westerlund -- Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods / Domenico Salvagnin -- On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables / Hermann Schichl, Arnold Neumaier -- Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint / Andreas Schutt, Thibaut Feydy -- A Lagrangian Relaxation for Golomb Rulers / Marla R. Slusky, Willem-Jan van Hoeve -- MiniZinc with Functions / Peter J. Stuckey, Guido Tack -- Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming / Peter Y. Zhang, David A. Romero -- The Rooted Maximum Node-Weight Connected Subgraph Problem / Eduardo Álvarez-Miranda, Ivana Ljubić -- An Empirical Evaluation of Portfolios Approaches for Solving CSPs / Roberto Amadini, Maurizio Gabbrielli |
|
Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling / André Ciré, Elvin Coban, John N. Hooker -- A Branch-and-Cut Algorithm for Solving the Team Orienteering Problem / Duc-Cuong Dang, Racha El-Hajj, Aziz Moukrim -- A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects / Hanyu Gu, Andreas Schutt, Peter J. Stuckey -- Improving Strong Branching by Propagation / Gerald Gamrath -- Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming / Ambros M. Gleixner, Stefan Weltge -- Tight LP-Relaxations of Overlapping Global Cardinality Constraints / Ioannis Mourtos -- An Adaptive Model Restarts Heuristic / Nina Narodytska, Toby Walsh -- Constraint-Based Fitness Function for Search-Based Software Testing / Abdelilah Sakti, Yann-Gaël Guéhéneuc -- Coalition Formation for Servicing Dynamic Motion Tasks / Udara Weerakoon, Vicki Allan -- Computational Experience with Hypergraph-Based Methods for Automatic Decomposition in Discrete Optimization / Jiadong Wang, Ted Ralphs |
Summary |
This volume is a compilation of the research program of the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2013, held at Yorktown Heights, NY, USA, in May 2013. This volume contains 20 full papers and 11 short papers that were carefully reviewed and selected from 71 submissions. The papers focus on new techniques or applications in the intersection of constraint programming (CP), artificial intelligence (AI) and operations research (OR) |
Analysis |
Computer science |
|
Computer software |
|
Electronic data processing |
|
Computational complexity |
|
Artificial intelligence |
|
Numeric Computing |
|
Math Applications in Computer Science |
|
Discrete Mathematics in Computer Science |
|
Algorithm Analysis and Problem Complexity |
|
computerwetenschappen |
|
computer sciences |
|
numerieke methoden |
|
numerical methods |
|
computertechnieken |
|
computer techniques |
|
wiskunde |
|
mathematics |
|
operationeel onderzoek |
|
operations research |
|
bedrijfswetenschap |
|
management science |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
kunstmatige intelligentie |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed May 23, 2013) |
Subject |
Combinatorial optimization -- Data processing -- Congresses
|
|
Constraint programming (Computer science) -- Congresses
|
|
Artificial intelligence -- Congresses
|
|
Artificial intelligence.
|
|
Artificial Intelligence
|
|
Electronic Data Processing
|
|
artificial intelligence.
|
|
Artificial intelligence
|
|
Combinatorial optimization -- Data processing
|
|
Constraint programming (Computer science)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Software.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Gomes, Carla.
|
|
Sellmann, Meinolf.
|
ISBN |
9783642381713 |
|
3642381715 |
|