Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thierry Petit, Emmanuel Poder |
Global Propagation of Practicability Constraints. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Charlotte Truchet, Marc Christie, Jean-Marie Normand |
A Tabu Search Method for Interval Constraints. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Barnhart |
Airline Scheduling: Accomplishments, Opportunities and Challenges. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Watson, J. Christopher Beck |
A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Willem Jan van Hoeve, Ashish Sabharwal |
Filtering Atmost1 on Pairs of Set Variables. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Madjid Khichane, Patrick Albert, Christine Solnon |
CP with ACO. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Meinolf Sellmann |
The Polytope of Tree-Structured Binary Constraint Satisfaction Problems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel H. Leventhal, Meinolf Sellmann |
The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alex S. Fukunaga |
Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yehuda Naveh |
Guiding Stochastic Search by Dynamic Learning of the Problem Topography. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Régin |
Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Quadrifoglio, Maged M. Dessouky, Fernando Ordóñez |
Mobility Allowance Shuttle Transit (MAST) Services: MIP Formulation and Strengthening with Logic Constraints. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Laurent Michel |
The Steel Mill Slab Design Problem Revisited. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ana Graça, João Marques-Silva 0001, Inês Lynce, Arlindo L. Oliveira |
Efficient Haplotype Inference with Combined CP and OR Techniques. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan |
Fast and Scalable Domino Portrait Generation. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tarik Hadzic, John N. Hooker, Peter Tiedemann |
Propagating Separable Equalities in an MDD Store. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Grohe, Dag Wedelin |
Cost Propagation - Numerical Propagation for Optimization Problems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck |
30 Years of Constraint Programming. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Douglas S. Altner, Özlem Ergun |
Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
Reoptimization, Robust Minimum Cut, Maximum Flow |
1 | Laurent Perron, Michael A. Trick (eds.) |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Benini, Michele Lombardi 0001, Marco Mantovani 0001, Michela Milano, Martino Ruggiero |
Multi-stage Benders Decomposition for Optimizing Multicore Architectures. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hoong Chuin Lau, Kong Wei Lye, Viet Bang Nguyen |
A Combinatorial Auction Framework for Solving Decentralized Scheduling Problems (Extended Abstract). |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Achterberg, Stefan Heinz 0001, Thorsten Koch |
Counting Solutions of Integer Programs Using Unrestricted Subtree Detection. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Puchinger, Peter J. Stuckey, Mark Wallace 0001, Sebastian Brand |
From High-Level Model to Branch-and-Price Solution in G12. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Oddi, Amedeo Cesta, Nicola Policella, Stephen F. Smith |
Hybrid Variants for Iterative Flattening Search. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luc Mercier, Pascal Van Hentenryck |
Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Boris Gutkovich |
Integration of CP and Compilation Techniques for Instruction Sequence Test Generation. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nizar El Hachemi, Michel Gendreau, Louis-Martin Rousseau |
Solving a Log-Truck Scheduling Problem with Constraint Programming. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | François Laburthe |
Selected Challenges from Distribution and Commerce in the Airline and Travel Industry. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ada Barlatt, Amy Mainville Cohn, Oleg Yu. Gusikhin |
A Hybrid Approach for Solving Shift-Selection and Task-Sequencing Problems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter |
Constraint Integer Programming: A New Approach to Integrate CP and MIP. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Galinier, Alain Hertz, Sandrine Paroz, Gilles Pesant |
Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Heckman, J. Christopher Beck |
Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
Optimal Deployment of Eventually-Serializable Data Services. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | George Katsirelos, Nina Narodytska, Toby Walsh |
The Weighted CfgConstraint. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paul Maier, Martin Sachenbacher |
Constraint Optimization and Abstraction for Embedded Intelligent Systems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
automated abstraction, embedded systems, decomposition, heuristic search, Constraint optimization |
1 | Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal |
Connections in Networks: A Hybrid Approach. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tino Teige, Martin Fränzle |
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mahdi Namazifar, Andrew J. Miller |
A Parallel Macro Partitioning Framework for Solving Mixed Integer Programs. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
Primal Heuristics, High-Performance Computing, Branch-and-Bound, Mixed Integer Programming |
1 | Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder |
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Grégoire Dooms, Pascal Van Hentenryck |
Gap Reduction Techniques for Online Stochastic Project Scheduling. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Mears, Maria J. García de la Banda, Mark Wallace 0001, Bart Demoen |
A Novel Approach For Detecting Symmetries in CSP Models. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Pesant, Claude-Guy Quimper |
Counting Solutions of Knapsack Constraints. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sivan Sabato, Yehuda Naveh |
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Georg Smaus |
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | András Kovács, J. Christopher Beck |
A Global Constraint for Total Weighted Completion Time. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal |
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
integer programming, constraint programming, cutting planes, polyhedral combinatorics |
1 | Radu Marinescu 0002, Rina Dechter |
Best-First AND/OR Search for 0/1 Integer Programming. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter |
Connections in Networks: Hardness of Feasibility Versus Optimality. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tarik Hadzic, John N. Hooker |
Cost-Bounded Binary Decision Diagrams for 0-1 Programming. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David F. Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth |
A Constraint Programming Approach to the Hospitals / Residents Problem. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daria Terekhov, J. Christopher Beck |
Solving a Stochastic Queueing Control Problem with Constraint Programming. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
Eliminating Redundant Clauses in SAT Instances. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey |
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Laurence A. Wolsey (eds.) |
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 |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Emmanuel Poder |
A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Côté, Bernard Gendron, Louis-Martin Rousseau |
Modeling the Regular Constraint with Integer Programming. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luca Di Gaspero, Giacomo di Tollo, Andrea Roli, Andrea Schaerf |
Hybrid Local Search for Constrained Financial Portfolio Selection Problems. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Zanarini, Gilles Pesant |
Generalizations of the Global Cardinality Constraint for Hierarchical Resources. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | J. M. van den Akker, Guido Diepen, J. A. Hoogeveen |
A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (Revision 1991) 90B35 |
1 | Jean-Noël Monette, Yves Deville, Pierre Dupont |
A Position-Based Propagator for the Open-Shop Problem. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wady Naanaa |
Directional Interchangeability for Enhancing CSP Solving. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin |
The Deviation Constraint. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | András Kéri, Tamás Kis |
Computing Tight Time Windows for RCPSPWET with the Primal-Dual Method. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Trick, Hakan Yildiz |
A Large Neighborhood Search Heuristic for Graph Coloring. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Trick, Hakan Yildiz |
Bender's Cuts Guided Large Neighborhood Search for the Traveling Umpire Problem. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Xavier Lorca |
Necessary Condition for Path Partitioning Constraints. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yu Xia |
Constrained Clustering Via Concavity Cuts. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
instance-level constraints, concave cutting plane method, global optimization, semi-supervised clustering, Partitional clustering |
1 | Wafa Karoui, Marie-José Huguet, Pierre Lopez, Wady Naanaa |
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Grégoire Dooms, Irit Katriel |
The "Not-Too-Heavy Spanning Tree" Constraint. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Rossi 0002, Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Willem Jan van Hoeve, Jean-Charles Régin |
Open Constraints in a Closed World. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Zanarini, Michela Milano, Gilles Pesant |
Improved Algorithm for the Soft Global Cardinality Constraint. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marco Cadoli, Fabio Patrizi |
On the Separability of Subproblems in Benders Decompositions. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Yannis Vergados |
Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Irit Katriel |
Expected-Case Analysis for Delayed Filtering. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellmann |
A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
mathematical programming, hybrid methods, Cost-based filtering |
1 | Maria Fox 0001 |
Planning for Mixed Discrete Continuous Domains. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Claire Kenyon, Meinolf Sellmann |
Plan B: Uncertainty/Time Trade-Offs for Linear and Integer Programming. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sami Gabteni, Mattias Grönkvist |
A Hybrid Column Generation and Constraint Programming Optimizer for the Tail Assignment Problem. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Russell Bent, Yannis Vergados |
Online Stochastic Reservation Systems. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu |
The Power of Semidefinite Programming Relaxations for MAX-SAT. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
Event-Driven Probabilistic Constraint Programming. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zhao Xing, Yixin Chen 0001, Weixiong Zhang |
An Efficient Hybrid Strategy for Temporal Planning. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Radu Marinescu 0002, Rina Dechter |
AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | András Kovács, József Váncza |
Progressive Solutions: A Simple but Efficient Dominance Rule for Practical RCPSP. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Duality in Optimization and Constraint Satisfaction. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rasmus V. Rasmussen, Michael A. Trick |
The Timetable Constrained Distance Minimization Problem. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
Sports scheduling, Integer Programming, Constraint Programming, Timetabling |
1 | Richard J. Wallace, Nic Wilson |
Conditional Lexicographic Orders in Constraint Satisfaction Problems. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano |
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | J. Christopher Beck, Barbara M. Smith (eds.) |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
The Range Constraint: Algorithms and Implementation. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Bosch Jr. |
Opt Art. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sachenbacher, Brian C. Williams |
Conflict-Directed A* Search for Soft Constraints. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Irit Katriel, Xavier Lorca |
Undirected Forest Constraints. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | H. Paul Williams |
Models for Solving the Travelling Salesman Problem. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih |
Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
Subgradient Algorithm, Lagrangean Relaxation, Arc-Consistency |
1 | Jesper Hansen, Tomas Lidén |
Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sathiamoorthy Subbarayan |
Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|