default search action

combined dblp search
author search
venue search
publication search

ask others

10. CPAIOR 2013: Yorktown Heights, NY, USA

> Home > Conferences and Workshops > CPAIOR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/2013
Carla P. Gomes, Meinolf Sellmann:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings. Lecture Notes in Computer Science 7874, Springer 2013, ISBN 978-3-642-38170-6
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/AchterbergSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/AchterbergSS13
Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz:
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/HeinzKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/HeinzKB13
Stefan Heinz, Wen-Yang Ku, J. Christopher Beck:
Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling. 12-27
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/BertholdS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/BertholdS13
Timo Berthold, Domenico Salvagnin:
Cloud Branching. 28-43
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/ClimentWSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/ClimentWSB13
Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber:
Modeling Robustness in CSPs as Weighted CSPs. 44-60
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/MouelhiJTZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/MouelhiJTZ13
Achref El Mouelhi, Philippe Jégou, Cyril Terrioux, Bruno Zanuttini:
Some New Tractable Classes of CSPs and Their Relations with Backtracking Algorithms. 61-76
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/HeuleJB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/HeuleJB13
Marijn Heule, Matti Järvisalo, Armin Biere:
Revisiting Hyper Binary Resolution. 77-93
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/Hooker13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/Hooker13
John N. Hooker:
Decision Diagrams and Dynamic Programming. 94-110
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/KelarevaTK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/KelarevaTK13
Elena Kelareva, Kevin Tierney, Philip Kilby:
CP Methods for Scheduling and Routing with Time-Dependent Task Costs. 111-127
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/KellH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/KellH13
Brian Kell, Willem Jan van Hoeve:
An MDD Approach to Multidimensional Bin Packing. 128-143
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/LetortCB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/LetortCB13
Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu:
A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. 144-159
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/LiffitonM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/LiffitonM13
Mark H. Liffiton, Ammar Malik:
Enumerating Infeasibility: Finding Multiple MUSes Quickly. 160-175
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/MalitskyMOS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/MalitskyMOS13
Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. 176-192
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/NybergWL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/NybergWL13
Axel Nyberg, Tapio Westerlund, Andreas Lundell:
Improved Discrete Reformulations for the Quadratic Assignment Problem. 193-203
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/Salvagnin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/Salvagnin13
Domenico Salvagnin:
Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods. 204-215
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/SchichlNMD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/SchichlNMD13
Hermann Schichl, Arnold Neumaier, Mihály Csaba Markót, Ferenc Domes:
On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables. 216-233
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/SchuttFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/SchuttFS13
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey:
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. 234-250
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/SluskyH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/SluskyH13
Marla R. Slusky, Willem Jan van Hoeve:
A Lagrangian Relaxation for Golomb Rulers. 251-267
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/StuckeyT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/StuckeyT13
Peter J. Stuckey, Guido Tack:
MiniZinc with Functions. 268-283
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/ZhangRBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/ZhangRBA13
Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon:
Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming. 284-299
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/Alvarez-MirandaLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/Alvarez-MirandaLM13
Eduardo Álvarez-Miranda, Ivana Ljubic, Petra Mutzel:
The Rooted Maximum Node-Weight Connected Subgraph Problem. 300-315
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/AmadiniGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/AmadiniGM13
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
An Empirical Evaluation of Portfolios Approaches for Solving CSPs. 316-324
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/CireCH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/CireCH13
André A. Ciré, Elvin Coban, John N. Hooker:
Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling. 325-331
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/DangEM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/DangEM13
Duc-Cuong Dang, Racha El-Hajj, Aziz Moukrim:
A Branch-and-Cut Algorithm for Solving the Team Orienteering Problem. 332-339
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GuSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GuSS13
Hanyu Gu, Andreas Schutt, Peter J. Stuckey:
A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects. 340-346
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/Gamrath13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/Gamrath13
Gerald Gamrath:
Improving Strong Branching by Propagation. 347-354
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GleixnerW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GleixnerW13
Ambros M. Gleixner, Stefan Weltge:
Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming. 355-361
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/Mourtos13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/Mourtos13
Ioannis Mourtos:
Tight LP-Relaxations of Overlapping Global Cardinality Constraints. 362-368
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/NarodytskaW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/NarodytskaW13
Nina Narodytska, Toby Walsh:
An Adaptive Model Restarts Heuristic. 369-377
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/SaktiGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/SaktiGP13
Abdelilah Sakti, Yann-Gaël Guéhéneuc, Gilles Pesant:
Constraint-Based Fitness Function for Search-Based Software Testing. 378-385
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/WeerakoonA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/WeerakoonA13
Udara Weerakoon, Vicki Allan:
Coalition Formation for Servicing Dynamic Motion Tasks. 386-393
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/WangR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/WangR13
Jiadong Wang, Ted K. Ralphs:
Computational Experience with Hypergraph-Based Methods for Automatic Decomposition in Discrete Optimization. 394-402

Due to an error that happened in the reviewing process for the conference one paper was unfortunately prevented from being published in the printed proceedings. The conference chairs published this paper on the conference webpage:

- view
  - electronic edition @ cornell.edu
  - no references & citations available
- export record
  dblp key:
  - conf/cpaior/AnsoteguiG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/AnsoteguiG13
Carlos Ansótegui, Joel Gabàs:
Solving (Weighted) Partial MaxSAT with ILP. 403-409

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.