CPAIOR B

32 papers

YearTitle / Authors
2004A Constraint Programming Model for Tail Assignment.
Mattias Grönkvist
2004A Global Constraint for Graph Isomorphism Problems.
Sébastien Sorlin, Christine Solnon
2004A Global Constraint for Nesting Problems.
Cristina Ribeiro, Maria Antónia Carravilla
2004A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem.
Ruslan Sadykov
2004A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times.
Christian Artigues, Sana Belmokhtar, Dominique Feillet
2004Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints.
Olivier Lhomme
2004Building Models through Formal Specification.
Gerrit Renker, Hatem Ahriz
2004Combining Forces to Solve the Car Sequencing Problem.
Laurent Perron, Paul Shaw
2004Cost Evaluation of Soft Global Constraints.
Nicolas Beldiceanu, Thierry Petit
2004Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming.
Ayoub Insa Corréa, André Langevin, Louis-Martin Rousseau
2004Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights.
Irit Katriel
2004Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem.
Armagan Tarim, Ian Miguel
2004Filtering Algorithms for the Same Constraint.
Nicolas Beldiceanu, Irit Katriel, Sven Thiel
2004Filtering Methods for Symmetric Cardinality Constraint.
Waldemar Kocjan, Per Kreuger
2004Generating Benders Cuts for a General Class of Integer Programming Problems.
Yingyi Chu, Quanshi Xia
2004Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings
Jean-Charles Régin, Michel Rueher
2004LP Relaxations of Multiple all_different Predicates.
Gautam Appa, Dimitris Magos, Ioannis Mourtos
2004Local Probing Applied to Network Routing.
Olli Kamarainen, Hani El Sakkout
2004Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework.
Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano
2004Models and Symmetry Breaking for 'Peaceable Armies of Queens'.
Barbara M. Smith, Karen E. Petrie, Ian P. Gent
2004O(n log n) Filtering Algorithms for Unary Resource Constraint.
Petr Vilím
2004Problem Decomposition for Traffic Diversions.
Quanshi Xia, Andrew Eremin, Mark Wallace
2004SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems.
Alberto Bemporad, Nicolò Giorgetti
2004SIMPL: A System for Integrating Optimization Techniques.
Ionut D. Aron, John N. Hooker, Tallys H. Yunes
2004Scheduling Abstractions for Local Search.
Pascal Van Hentenryck, Laurent Michel
2004Simple Rules for Low-Knowledge Algorithm Selection.
J. Christopher Beck, Eugene C. Freuder
2004Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.
Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim
2004Stabilization Issues for Constraint Programming Based Column Generation.
Louis-Martin Rousseau
2004Super Solutions in Constraint Programming.
Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2004The Challenge of Generating Spatially Balanced Scientific Experiment Designs.
Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es
2004Travelling in the World of Local Searches in the Space of Partial Assignments.
Cédric Pralet, Gérard Verfaillie
2004Using MILP and CP for the Scheduling of Batch Chemical Processes.
Christos T. Maravelias, Ignacio E. Grossmann