Conferences in DBLP
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. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Pop Embedded Systems Design: Optimization Challenges. [Citation Graph (0, 0)][DBLP ] Conf ] H. P. Williams Models for Solving the Travelling Salesman Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Magnus Ågren , Pierre Flener , Justin Pearson Set Variables and Local Search. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Bartlett , Alan M. Frisch , Youssef Hamadi , Ian Miguel , Armagan Tarim , Chris Unsworth The Temporal Knapsack Problem and Its Solution. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Bauer 0002 Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Beldiceanu , Pierre Flener , Xavier Lorca The tree Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Toby Walsh Filtering Algorithms for the NValue Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Hadrien Cambazard , Narendra Jussien Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Yingyi Chu , Quanshi Xia A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Wilhelm Cronholm , Farid Ajili , Sofia Panagiotidi On the Minimal Steiner Tree Subproblem and Its Application in Branch-and-Price. [Citation Graph (0, 0)][DBLP ] Conf ] Sophie Demassey , Gilles Pesant , Louis-Martin Rousseau Constraint Programming Based Column Generation for Employee Timetabling. [Citation Graph (0, 0)][DBLP ] Conf ] Iván Dotú , Pascal Van Hentenryck Scheduling Social Golfers Locally. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled M. Elbassioni , Irit Katriel Multiconsistency and Robustness with Global Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Frank , Elif Kürklü Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations. [Citation Graph (0, 0)][DBLP ] Conf ] Thorsten Gellermann , Meinolf Sellmann , Robert Wright Shorter Path Constraints for the Resource Constrained Shortest Path Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Gendron , Hocine Lebbah , Gilles Pesant Improving the Cooperation Between the Master Problem and the Subproblem in Constraint Programming Based Column Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Jesper Hansen , Tomas Lidén Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price. [Citation Graph (0, 0)][DBLP ] Conf ] John N. Hooker A Search-Infer-and-Relax Framework for Integrating Solution Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Mohand Ou Idir Khemmoudj , Hachemi Bennaceur , Anass Nagih Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Steven David Prestwich , Andrea Roli Symmetry Breaking and Local Search Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Régin Combination of Among and Cardinality Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] T. K. Satish Kumar On the Tractability of Smooth Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Hossein M. Sheini , Karem A. Sakallah A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara M. Smith Symmetry and Search in a Network Design Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Sathiamoorthy Subbarayan Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Trick Formulations and Reformulations in Integer Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Van Hentenryck , Laurent Michel Nondeterministic Control for Hybrid Search. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Vilím Computing Explanations for the Unary Resource Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] 