conftrace_

mixed integer programming

67 papers

Explore in graph

Also known as

MIP

Co-occurring keywords

branch and bound (119) combinatorial optimization (1039) neural network verification (106) mixed integer linear program (15) cutting plane (26) multi-agent system (1819) formal verification (284) adversarial robustness (1341) mixed integer linear programming (31) relu network (143)

Papers

Dynamic Rebalancing Dockless Bike-Sharing System based on Station Community Discovery IJCAI 2021
A Scalable Deterministic Global Optimization Algorithm for Clustering Problems ICML 2021
Defending against Contagious Attacks on a Network with Resource Reallocation AAAI 2021
Learning To Scale Mixed-Integer Programs AAAI 2021
Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service AAAI 2021
Parameterized Algorithms for MILPs with Small Treedepth AAAI 2021
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances AAAI 2021
Learning Sparse Classifiers: Continuous and Mixed Integer Optimization Perspectives JMLR 2021
Binary Matrix Factorisation via Column Generation AAAI 2021
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis AAAI 2020
An ADMM Based Framework for AutoML Pipeline Configuration AAAI 2020
MIPaaL: Mixed Integer Program as a Layer AAAI 2020
Contextual Reserve Price Optimization in Auctions via Mixed Integer Programming NIPS 2020
Branch and Bound for Piecewise Linear Neural Network Verification JMLR 2020
Accelerating Primal Solution Findings for Mixed Integer Programs Based on Solution Prediction AAAI 2020
Learning solutions to hybrid control problems using Benders cuts L4DC 2020
Clearing Kidney Exchanges via Graph Neural Network Guided Tree Search (Student Abstract) AAAI 2020
Learning Optimal Decision Trees Using Caching Branch-and-Bound Search AAAI 2020
Learning Optimal Temperature Region for Solving Mixed Integer Functional DCOPs IJCAI 2020
Dinkelbach-Type Algorithm for Computing Quantal Stackelberg Equilibrium IJCAI 2020
Learning Optimized Risk Scores JMLR 2019
Improving Customer Satisfaction in Bike Sharing Systems through Dynamic Repositioning IJCAI 2019
Improving Law Enforcement Daily Deployment Through Machine Learning-Informed Optimization under Uncertainty IJCAI 2019
Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation AAAI 2019
Generalized Potential Heuristics for Classical Planning IJCAI 2019