| Supercharging Plant Configurations Using Z3
|
2021 |
Bjørner, Nikolaj |
| Learning Variable Activity Initialisation for Lazy Clause Generation Solvers
|
2021 |
Driel, Ronald van |
| Strengthening of Feasibility Cuts in Logic-Based Benders Decomposition
|
2021 |
Karlsson, Emil |
| Partitioning Students into Cohorts During COVID-19
|
2021 |
Hoshino, Richard |
| A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble
|
2021 |
Wang, Keliang |
| Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding
|
2021 |
Cohen, Eldan |
| Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem
|
2021 |
Silvestri, Mattia |
| Checking Constraint Satisfaction
|
2021 |
Jung, Victor |
| Finding Subgraphs with Side Constraints
|
2021 |
Akgün, Özgür |
| Logic-Based Benders Decomposition for an Inter-modal Transportation Problem
|
2021 |
Avgerinos, Ioannis |
| Optimized Item Selection to Boost Exploration for Recommender Systems
|
2021 |
Kadıoğlu, Serdar |
| Learning to Sparsify Travelling Salesman Problem Instances
|
2021 |
Fitzpatrick, James |
| Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning
|
2021 |
Parjadis, Augustin |
| Towards a Compact SAT-Based Encoding of Itemset Mining Tasks
|
2021 |
Nekkache, Ikram |
| The Traveling Social Golfer Problem: The Case of the Volleyball Nations League
|
2021 |
Lambers, Roel |
| Improving the Filtering of Branch-and-Bound MDD Solver
|
2021 |
Gillard, Xavier |
| MDDs Boost Equation Solving on Discrete Dynamical Systems
|
2021 |
Formenti, Enrico |
| Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems
|
2021 |
Bracher, Adrian |
| Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations
|
2021 |
Kronqvist, Jan |
| SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning
|
2021 |
Chalumeau, Félix |
Tag hinzufügen