Search results for "CPAIOR"

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

Publications at "CPAIOR"( http://dblp.L3S.de/Venues/CPAIOR )