|
Conferences in DBLP
Towards a MIP-Cut Metascheme. [Citation Graph (, )][DBLP]
Challenges for CPAIOR in Computational Sustainability. [Citation Graph (, )][DBLP]
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. [Citation Graph (, )][DBLP]
On Matrices, Automata, and Double Counting. [Citation Graph (, )][DBLP]
The Increasing Nvalue Constraint. [Citation Graph (, )][DBLP]
Improving the Held and Karp Approach with Constraint Programming. [Citation Graph (, )][DBLP]
Characterization and Automation of Matching-Based Neighborhoods. [Citation Graph (, )][DBLP]
Rapid Learning for Binary Programs. [Citation Graph (, )][DBLP]
Hybrid Methods for the Multileaf Collimator Sequencing Problem. [Citation Graph (, )][DBLP]
Automatically Exploiting Subproblem Equivalence in Constraint Programming. [Citation Graph (, )][DBLP]
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. [Citation Graph (, )][DBLP]
Integrated Maintenance Scheduling for Semiconductor Manufacturing. [Citation Graph (, )][DBLP]
A Constraint Programming Approach for the Service Consolidation Problem. [Citation Graph (, )][DBLP]
Solving Connected Subgraph Problems in Wildlife Conservation. [Citation Graph (, )][DBLP]
Consistency Check for the Bin Packing Constraint Revisited. [Citation Graph (, )][DBLP]
A Relax-and-Cut Framework for Gomory's Mixed-Integer Cuts. [Citation Graph (, )][DBLP]
An In-Out Approach to Disjunctive Optimization. [Citation Graph (, )][DBLP]
A SAT Encoding for Multi-dimensional Packing Problems. [Citation Graph (, )][DBLP]
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach. [Citation Graph (, )][DBLP]
On the Design of the Next Generation Access Networks. [Citation Graph (, )][DBLP]
Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches. [Citation Graph (, )][DBLP]
Constraint Programming and Combinatorial Optimisation in Numberjack. [Citation Graph (, )][DBLP]
Automated Configuration of Mixed Integer Programming Solvers. [Citation Graph (, )][DBLP]
Upper Bounds on the Number of Solutions of Binary Integer Programs. [Citation Graph (, )][DBLP]
Matrix Interdiction Problem. [Citation Graph (, )][DBLP]
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization. [Citation Graph (, )][DBLP]
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios. [Citation Graph (, )][DBLP]
Constraint Programming with Arbitrarily Large Integer Variables. [Citation Graph (, )][DBLP]
Constraint-Based Local Search for Constrained Optimum Paths Problems. [Citation Graph (, )][DBLP]
Stochastic Constraint Programming by Neuroevolution with Filtering. [Citation Graph (, )][DBLP]
The Weighted Spanning Tree Constraint Revisited. [Citation Graph (, )][DBLP]
Constraint Reasoning with Uncertain Data Using CDF-Intervals. [Citation Graph (, )][DBLP]
Revisiting the Soft Global Cardinality Constraint. [Citation Graph (, )][DBLP]
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling. [Citation Graph (, )][DBLP]
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution. [Citation Graph (, )][DBLP]
Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results. [Citation Graph (, )][DBLP]
Boosting Set Constraint Propagation for Network Design. [Citation Graph (, )][DBLP]
More Robust Counting-Based Search Heuristics with Alldifferent Constraints. [Citation Graph (, )][DBLP]
|