![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6. CPAIOR 2009: Pittsburgh, PA, USA
- Willem Jan van Hoeve, John N. Hooker:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings. Lecture Notes in Computer Science 5547, Springer 2009, ISBN 978-3-642-01928-9
Invited Talks
- Eva K. Lee:
Machine Learning Framework for Classification in Medicine and Biology. 1-7 - Mark Wallace
:
G12 - Towards the Separation of Problem Modelling and Problem Solving. 8-10
Regular Papers
- Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi
, Charlotte Truchet, Stéphane Zampelli:
Six Ways of Integrating Symmetries within Non-overlapping Constraints. 11-25 - Alessio Bonfietti, Michele Lombardi
, Michela Milano, Luca Benini
:
Throughput Constraint for Synchronous Data Flow Graphs. 26-40 - Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan
:
A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem. 41-55 - Bistra Dilkina
, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann:
Backdoors to Combinatorial Optimization: Feasibility and Optimality. 56-70 - Martin Gebser, Benjamin Kaufmann, Torsten Schaub
:
Solution Enumeration for Projected Boolean Search Problems. 71-86 - Stefano Gualandi
:
k-Clustering Minimum Biclique Completion via a Hybrid CP and SDP Approach. 87-101 - Alexander Gutfraind
, Aric A. Hagberg, Feng Pan:
Optimal Interdiction of Unreactive Markovian Evaders. 102-116 - Stefan Heinz, Martin Sachenbacher:
Using Model Counting to Find Optimal Distinguishing Tests. 117-131 - George Katsirelos, Nina Narodytska, Toby Walsh:
Reformulating Global Grammar Constraints. 132-147 - Philippe Laborie:
IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems. 148-162 - Michael J. Maher:
Open Constraints in a Boundable World. 163-177 - Julien Menana, Sophie Demassey
:
Sequencing and Counting with the multicost-regular Constraint. 178-192 - Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman
, Martijn Moraal:
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. 193-207 - Sylvain Mouret, Ignacio E. Grossmann, Pierre Pestiaux:
Tightening the Linear Relaxation of a Mixed Integer Nonlinear Program Using Constraint Programming. 208-222 - Gilles Pesant, Claude-Guy Quimper
, Louis-Martin Rousseau, Meinolf Sellmann:
The Polytope of Context-Free Grammar Constraints. 223-232 - Tyrel Russell, Peter van Beek:
Determining the Number of Games Needed to Guarantee an NHL Playoff Spot. 233-247 - Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Régin:
Scalable Load Balancing in Nurse to Patient Assignment Problems. 248-262 - Efstathios Stamatatos
, Kostas Stergiou:
Learning How to Propagate Using Random Probing. 263-278 - David C. Uthus, Patricia J. Riddle, Hans W. Guesgen
:
DFS* and the Traveling Tournament Problem. 279-293 - Petr Vilím:
Max Energy Filtering Algorithm for Discrete Cumulative Resources. 294-308
Extended Abstracts
- Tobias Achterberg, Timo Berthold:
Hybrid Branching. 309-311 - Rodrigo Acuna-Agost, Philippe Michelon
, Dominique Feillet
, Serigne Gueye:
Constraint Programming and Mixed Integer Linear Programming for Rescheduling Trains under Disrupted Operations. 312-313 - Roman Barták
, Daniel Toropila:
Constraint Models for Sequential Planning. 314-315 - Mohammad Dib, Alexandre Caminada, Hakim Mabed:
A Fast Algorithm to Solve the Frequency Assignment Problem. 316-318 - Nizar El Hachemi, Michel Gendreau, Louis-Martin Rousseau:
A Hybrid LS/CP Approach to Solve the Weekly Log-Truck Scheduling Problem. 319-320 - François Fages, Julien Martin:
Modelling Search Strategies in Rules2CP. 321-322 - Jacob Feldman, Eugene C. Freuder, James Little:
CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications. 323-324 - Abdullah Konak, Sadan Kulturel-Konak:
An Integrated Genetic Algorithm and Integer Programming Approach to the Network Design Problem with Relays. 325 - Benjamin Peterson, Michael A. Trick
:
A Benders'Approach to a Transportation Network Design Problem. 326-327 - Helmut Simonis:
Progress on the Progressive Party Problem. 328-329
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.