Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sébastien Bardin, Arnaud Gotlieb |
fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Narendra Jussien, Eric Pinson (eds.) |
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Araya 0001, Gilles Trombettoni, Bertrand Neveu |
A Contractor Based on Convex Interval Taylor. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker |
Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michele Lombardi 0001, Alessio Bonfietti, Michela Milano, Luca Benini |
Precedence Constraint Posting for Cyclic Scheduling Problems. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Lodi 0001, Gilles Pesant, Louis-Martin Rousseau |
On Counting Lattice Points and Chvátal-Gomory Cutting Planes. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Pesant, Alessandro Zanarini |
Recovering Indirect Solution Densities for Counting-Based Branching Heuristics. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Régin |
Using Hard Constraints for Representing Soft Constraints. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Achterberg, J. Christopher Beck (eds.) |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bistra Dilkina, Katherine J. Lai, Carla P. Gomes |
Upgrading Shortest Paths in Networks. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, James Worthington |
A New Algorithm for Linear and Integer Feasibility in Horn Constraints. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
The AllDifferent Constraint with Precedences. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thanikesavan Sivanthi, Jan Poland |
Efficient Planning of Substation Automation System Cables. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emrah B. Edis, Ceyda Oguz |
Parallel Machine Scheduling with Additional Resources: A Lagrangian-Based Constraint Programming Approach. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tim Januschowski, Marc E. Pfetsch |
Branch-Cut-and-Propagate for the Maximum k-Colorable Subgraph Problem with Symmetry. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Asma Lahimer, Pierre Lopez, Mohamed Haouari |
Climbing Depth-Bounded Adjacent Discrepancy Search for Solving Hybrid Flow Shop Scheduling Problems with Multiprocessor Tasks. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, Willem Jan van Hoeve, John N. Hooker |
Manipulating MDD Relaxations for Combinatorial Optimization. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Régin, Thierry Petit |
The Objective Sum Constraint. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Nannicini, Pietro Belotti, Jon Lee 0001, Jeff T. Linderoth, François Margot, Andreas Wächter |
A Probing Algorithm for MINLP with Failure Prediction by SVM. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons 0001, Anna Ryabokon, Evgenij Thorstensen |
Optimization Methods for the Partner Units Problem. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Craig Boutilier |
Preference Elicitation and Preference Learning in Social Choice. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Zanarini, Pascal Van Hentenryck |
Identifying Patterns in Sequences of Variables. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Chapados, Marc Joliveau, Louis-Martin Rousseau |
Retail Store Workforce Scheduling by Expected Operating Income Maximization. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carleton Coffrin, Pascal Van Hentenryck, Russell Bent |
Spatial and Objective Decompositions for Very Large SCAPs. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petr Vilím |
Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis, Barry O'Sullivan |
Almost Square Packing. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Lodi 0001 |
On Bilevel Programming and Its Impact in Branching, Cutting and Complexity. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ian P. Gent |
Propagation in Constraints: How One Thing Leads to Another. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey |
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bistra Dilkina, Carla P. Gomes |
Solving Connected Subgraph Problems in Wildlife Conservation. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carla P. Gomes |
Challenges for CPAIOR in Computational Sustainability. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Canan Gunes, Willem Jan van Hoeve, Sridhar R. Tayur |
Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kanika Dhyani, Stefano Gualandi, Paolo Cremonesi |
A Constraint Programming Approach for the Service Consolidation Problem. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit |
The Increasing Nvalue Constraint. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. Davenport |
Integrated Maintenance Scheduling for Semiconductor Manufacturing. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anna Moss |
Constraint Programming with Arbitrarily Large Integer Variables. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gualandi, Federico Malucelli, Domenico L. Sozzi |
On the Design of the Next Generation Access Networks. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve |
The Weighted Spanning Tree Constraint Revisited. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown |
Automated Configuration of Mixed Integer Programming Solvers. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Grandcolas, Cédric Pinto |
A SAT Encoding for Multi-dimensional Packing Problems. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi 0002, Brahim Hnich |
Stochastic Constraint Programming by Neuroevolution with Filtering. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zeynep Kiziltan, Jacopo Mauro |
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Schaus, Pascal Van Hentenryck, Alessandro Zanarini |
Revisiting the Soft Global Cardinality Constraint. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Benoist |
Characterization and Automation of Matching-Based Neighborhoods. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Fischetti, Domenico Salvagnin |
A Relax-and-Cut Framework for Gomory's Mixed-Integer Cuts. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elvin Coban, John N. Hooker |
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Russell Bent, Carleton Coffrin |
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Zanarini, Gilles Pesant |
More Robust Counting-Based Search Heuristics with Alldifferent Constraints. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Madjid Khichane, Patrick Albert, Christine Solnon |
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aya Saad, Carmen Gervet, Slim Abdennadher |
Constraint Reasoning with Uncertain Data Using CDF-Intervals. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pham Quang Dung, Yves Deville, Pascal Van Hentenryck |
Constraint-Based Local Search for Constrained Optimum Paths Problems. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Dupuis, Pierre Schaus, Yves Deville |
Consistency Check for the Bin Packing Constraint Revisited. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan |
Hybrid Methods for the Multileaf Collimator Sequencing Problem. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hebrard, Eoin O'Mahony, Barry O'Sullivan |
Constraint Programming and Combinatorial Optimisation in Numberjack. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Timo Berthold, Thibaut Feydy, Peter J. Stuckey |
Rapid Learning for Binary Programs. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Diarmuid Grimes, Emmanuel Hebrard |
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey |
Automatically Exploiting Subproblem Equivalence in Constraint Programming. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Timo Berthold, Stefan Heinz 0001, Marco E. Lübbecke, Rolf H. Möhring, Jens Schulz |
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Feng Xie, Andrew J. Davenport |
Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson |
On Matrices, Automata, and Double Counting. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Benchimol, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve |
Improving the Held and Karp Approach with Constraint Programming. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shiva Prasad Kasiviswanathan, Feng Pan 0005 |
Matrix Interdiction Problem. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Fischetti |
Towards a MIP-Cut Metascheme. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Justin Yip, Pascal Van Hentenryck, Carmen Gervet |
Boosting Set Constraint Propagation for Network Design. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Lodi 0001, Michela Milano, Paolo Toth (eds.) |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Siddhartha Jain 0001, Serdar Kadioglu, Meinolf Sellmann |
Upper Bounds on the Number of Solutions of Binary Integer Programs. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Fischetti, Domenico Salvagnin |
An In-Out Approach to Disjunctive Optimization. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Ågren 0002, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli |
Six Ways of Integrating Symmetries within Non-overlapping Constraints. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bistra Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann |
Backdoors to Combinatorial Optimization: Feasibility and Optimality. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
backdoor sets, search, variable selection |
1 | Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Régin |
Scalable Load Balancing in Nurse to Patient Assignment Problems. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nizar El Hachemi, Michel Gendreau, Louis-Martin Rousseau |
A Hybrid LS/CP Approach to Solve the Weekly Log-Truck Scheduling Problem. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Julien Martin |
Modelling Search Strategies in Rules2CP. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Heinz 0001, Martin Sachenbacher |
Using Model Counting to Find Optimal Distinguishing Tests. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal |
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gualandi |
k-Clustering Minimum Biclique Completion via a Hybrid CP and SDP Approach. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Mouret, Ignacio E. Grossmann, Pierre Pestiaux |
Tightening the Linear Relaxation of a Mixed Integer Nonlinear Program Using Constraint Programming. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Abdullah Konak, Sadan Kulturel-Konak |
An Integrated Genetic Algorithm and Integer Programming Approach to the Network Design Problem with Relays. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Michele Lombardi 0001, Michela Milano, Luca Benini |
Throughput Constraint for Synchronous Data Flow Graphs. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan |
A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David C. Uthus, Patricia J. Riddle, Hans W. Guesgen |
DFS* and the Traveling Tournament Problem. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Laborie |
IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Constraint Programming |
1 | Willem Jan van Hoeve, John N. Hooker (eds.) |
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 |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Acuna-Agost, Philippe Michelon, Dominique Feillet, Serigne Gueye |
Constraint Programming and Mixed Integer Linear Programming for Rescheduling Trains under Disrupted Operations. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Petr Vilím |
Max Energy Filtering Algorithm for Discrete Cumulative Resources. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
Discrete Cumulative Resource, Scheduling, Constraint Programming, Propagation |
1 | Efstathios Stamatatos, Kostas Stergiou 0001 |
Learning How to Propagate Using Random Probing. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Pesant, Claude-Guy Quimper, Louis-Martin Rousseau, Meinolf Sellmann |
The Polytope of Context-Free Grammar Constraints. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
grammar constraints, polytope |
1 | Michael J. Maher |
Open Constraints in a Boundable World. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Peterson, Michael A. Trick |
A Benders'Approach to a Transportation Network Design Problem. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis |
Progress on the Progressive Party Problem. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gutfraind, Aric A. Hagberg, Feng Pan 0005 |
Optimal Interdiction of Unreactive Markovian Evaders. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Achterberg, Timo Berthold |
Hybrid Branching. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eva K. Lee |
Machine Learning Framework for Classification in Medicine and Biology. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roman Barták, Daniel Toropila |
Constraint Models for Sequential Planning. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tyrel Russell, Peter van Beek |
Determining the Number of Games Needed to Guarantee an NHL Playoff Spot. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mark Wallace 0001 |
G12 - Towards the Separation of Problem Modelling and Problem Solving. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
optimization, modeling, search, constraint programming, software platform |
1 | Mohammad Dib, Alexandre Caminada, Hakim Mabed |
A Fast Algorithm to Solve the Frequency Assignment Problem. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Feldman, Eugene C. Freuder, James Little 0002 |
CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Julien Menana, Sophie Demassey |
Sequencing and Counting with the multicost-regular Constraint. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | George Katsirelos, Nina Narodytska, Toby Walsh |
Reformulating Global Grammar Constraints. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
Solution Enumeration for Projected Boolean Search Problems. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|