|
Constraint Programming for Dynamic Symbolic Execution of JavaScript |
|
|
1 | (19) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms |
|
|
20 | (19) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Core-Boosted Linear Search for Incomplete MaxSAT |
|
|
39 | (18) |
|
|
|
|
|
|
|
Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation |
|
|
57 | (10) |
|
|
|
|
|
|
|
Local Rapid Learning for Integer Programs |
|
|
67 | (17) |
|
|
|
|
|
|
|
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming |
|
|
84 | (11) |
|
|
|
|
|
|
|
Generating Compound Moves in Local Search by Hybridisation with Complete Search |
|
|
95 | (17) |
|
|
|
|
|
|
|
SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations |
|
|
112 | (17) |
|
|
|
|
|
|
|
|
|
A Constraint Programming Approach to Electric Vehicle Routing with Time Windows |
|
|
129 | (17) |
|
|
|
|
|
A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem |
|
|
146 | (17) |
|
|
|
|
|
|
|
|
|
Evaluating Ising Processing Units with Integer Programming |
|
|
163 | (19) |
|
|
|
|
|
|
|
Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems |
|
|
182 | (10) |
|
|
|
|
|
|
|
A Counting-Based Approach to Scalable Micro-service Deployment |
|
|
192 | (16) |
|
|
|
|
|
|
|
An Optimization Approach to the Ordering Phase of an Attended Home Delivery Service |
|
|
208 | (17) |
|
|
|
|
|
|
|
|
|
|
|
Consistency for 0---1 Programming |
|
|
225 | (16) |
|
|
|
|
|
An Investigation into Prediction + Optimisation for the Knapsack Problem |
|
|
241 | (17) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The Maximum Weighted Submatrix Coverage Problem: A CP Approach |
|
|
258 | (17) |
|
|
|
|
|
|
|
|
|
Learning MILP Resolution Outcomes Before Reaching Time-Limit |
|
|
275 | (17) |
|
|
|
|
|
|
|
An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem |
|
|
292 | (12) |
|
|
|
|
|
Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling |
|
|
304 | (16) |
|
|
|
|
|
|
|
An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem |
|
|
320 | (17) |
|
|
|
|
|
|
|
|
|
Optimality Clue for Graph Coloring Problem |
|
|
337 | (18) |
|
|
|
|
|
Computing Wasserstein Barycenters via Linear Programming |
|
|
355 | (9) |
|
|
|
|
|
|
|
|
|
Repairing Learned Controllers with Convex Optimization: A Case Study |
|
|
364 | (10) |
|
|
|
|
|
|
|
|
|
A Hybrid Approach for Exact Coloring of Massive Graphs |
|
|
374 | (17) |
|
|
|
|
|
Modelling and Solving the Minimum Shift Design Problem |
|
|
391 | (18) |
|
|
|
|
|
A Computational Comparison of Optimization Methods for the Golomb Ruler Problem |
|
|
409 | (17) |
|
|
|
|
|
A New CP-Approach for a Parallel Machine Scheduling Problem with Time Constraints on Machine Qualifications |
|
|
426 | (17) |
|
|
|
|
|
Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming |
|
|
443 | (18) |
|
|
|
|
|
Heat Exchanger Circuitry Design by Decision Diagrams |
|
|
461 | (11) |
|
|
|
|
|
|
|
|
|
Column Generation for Real-Time Ride-Sharing Operations |
|
|
472 | (16) |
|
|
|
|
|
|
|
Some Experiments with Submodular Function Maximization via Integer Programming |
|
|
488 | (14) |
|
|
|
Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation |
|
|
502 | (17) |
|
|
|
|
|
Last-Mile Scheduling Under Uncertainty |
|
|
519 | (10) |
|
|
|
|
|
|
|
|
|
|
|
Building Optimal Steiner Trees on Supercomputers by Using up to 43,000 Cores |
|
|
529 | (11) |
|
|
|
|
|
|
|
Deep Inverse Optimization |
|
|
540 | (17) |
|
|
|
|
|
|
|
A Study on the Traveling Salesman Problem with a Drone |
|
|
557 | (8) |
|
|
|
|
|
|
|
Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams |
|
|
565 | (16) |
|
|
|
|
|
Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams |
|
|
581 | (18) |
|
|
|
|
|
|
|
Arc Consistency Revisited |
|
|
599 | (17) |
|
|
|
|
|
Embedding Decision Diagrams into Generative Adversarial Networks |
|
|
616 | (17) |
|
|
|
|
|
Time Table Edge Finding with Energy Variables |
|
|
633 | (10) |
|
|
|
|
|
|
|
Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph |
|
|
643 | (18) |
|
|
|
|
|
|
|
|
| Author Index |
|
661 | |
