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