Search results for "CPAIOR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Roman Barták, Michela Milano (eds.)	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Khaled M. Elbassioni, Irit Katriel	Multiconsistency and Robustness with Global Constraints.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	John N. Hooker	A Search-Infer-and-Relax Framework for Integrating Solution Methods.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Michael A. Trick	Formulations and Reformulations in Integer Programming.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002	Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.	CPAIOR	2005	DBLP DOI BibTeX RDF	formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving
1	Wilhelm Cronholm, Farid Ajili, Sofia Panagiotidi	On the Minimal Steiner Tree Subproblem and Its Application in Branch-and-Price.	CPAIOR	2005	DBLP DOI BibTeX RDF	preflow-push algorithms, networks, Steiner trees, branch-and-cut
1	Yingyi Chu, Quanshi Xia	A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca	The tree Constraint.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau	Constraint Programming Based Column Generation for Employee Timetabling.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth	The Temporal Knapsack Problem and Its Solution.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Bernard Gendron, Hocine Lebbah, Gilles Pesant	Improving the Cooperation Between the Master Problem and the Subproblem in Constraint Programming Based Column Generation.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Thomas Bousonville, Filippo Focacci, Claude Le Pape, Wim Nuijten, Frederic Paulin, Jean-Francois Puget, Anna Robert, Alireza Sadeghin	Integration of Rules and Optimization in Plant PowerOps.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Steven D. Prestwich, Andrea Roli	Symmetry Breaking and Local Search Spaces.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Barbara M. Smith	Symmetry and Search in a Network Design Problem.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Iván Dotú, Pascal Van Hentenryck	Scheduling Social Golfers Locally.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Jean-Charles Régin	Combination of Among and Cardinality Constraints.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Hadrien Cambazard, Narendra Jussien	Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Magnus Ågren 0002, Pierre Flener, Justin Pearson	Set Variables and Local Search.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Hossein M. Sheini, Karem A. Sakallah	A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Paul Pop	Embedded Systems Design: Optimization Challenges.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	T. K. Satish Kumar	On the Tractability of Smooth Constraint Satisfaction Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Thorsten Gellermann, Meinolf Sellmann, Robert Wright	Shorter Path Constraints for the Resource Constrained Shortest Path Problem.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	Filtering Algorithms for the NValue Constraint.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Jeremy Frank, Elif Kürklü	Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Petr Vilím	Computing Explanations for the Unary Resource Constraint.	CPAIOR	2005	DBLP DOI BibTeX RDF
1	Gerrit Renker, Hatem Ahriz	Building Models through Formal Specification.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Irit Katriel	Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Jean-Charles Régin, Michel Rueher (eds.)	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Alberto Bemporad, Nicolò Giorgetti	SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Ruslan Sadykov	A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Waldemar Kocjan, Per Kreuger	Filtering Methods for Symmetric Cardinality Constraint.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Cédric Pralet, Gérard Verfaillie	Travelling in the World of Local Searches in the Space of Partial Assignments.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Cristina Ribeiro 0001, Maria Antónia Carravilla	A Global Constraint for Nesting Problems.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Thierry Petit	Cost Evaluation of Soft Global Constraints.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano	Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim	Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Olivier Lhomme	Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Armagan Tarim, Ian Miguel	Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Olli Kamarainen, Hani El Sakkout	Local Probing Applied to Network Routing.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Mattias Grönkvist	A Constraint Programming Model for Tail Assignment.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Ayoub Insa Corréa, André Langevin, Louis-Martin Rousseau	Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming.	CPAIOR	2004	DBLP DOI BibTeX RDF	material handling systems, routing, constraint programming, hybrid model, Automated guided vehicles
1	Quanshi Xia, Andrew Eremin, Mark Wallace 0001	Problem Decomposition for Traffic Diversions.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Emmanuel Hebrard, Brahim Hnich, Toby Walsh	Super Solutions in Constraint Programming.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Christos T. Maravelias, Ignacio E. Grossmann	Using MILP and CP for the Scheduling of Batch Chemical Processes.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Laurent Perron, Paul Shaw	Combining Forces to Solve the Car Sequencing Problem.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	J. Christopher Beck, Eugene C. Freuder	Simple Rules for Low-Knowledge Algorithm Selection.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent Michel	Scheduling Abstractions for Local Search.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Barbara M. Smith, Karen E. Petrie, Ian P. Gent	Models and Symmetry Breaking for 'Peaceable Armies of Queens'.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Christian Artigues, Sana Belmokhtar, Dominique Feillet	A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Yingyi Chu, Quanshi Xia	Generating Benders Cuts for a General Class of Integer Programming Problems.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Petr Vilím	O(n log n) Filtering Algorithms for Unary Resource Constraint.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Irit Katriel, Sven Thiel	Filtering Algorithms for the Same Constraint.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Gautam Appa, Dimitris Magos, Ioannis Mourtos	LP Relaxations of Multiple all_different Predicates.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Sébastien Sorlin, Christine Solnon	A Global Constraint for Graph Isomorphism Problems.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Louis-Martin Rousseau	Stabilization Issues for Constraint Programming Based Column Generation.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es	The Challenge of Generating Spatially Balanced Scientific Experiment Designs.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Ionut D. Aron, John N. Hooker, Tallys H. Yunes	SIMPL: A System for Integrating Optimization Techniques.	CPAIOR	2004	DBLP DOI BibTeX RDF

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