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

Near-optimal Linear Predictive Clustering in Non-separable Spaces via MIP and QPBO Reductions AAAI 2026
Rare Event Detection in Imbalanced Multi-Class Datasets Using an Optimal MIP-Based Ensemble Weighting Approach AAAI 2025
Optimal Planning to Coordinate Science Data Collection and Downlink for a Constellation of Agile Satellites with Limited Storage IJCAI 2025
Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problems IJCAI 2025
Commitment to Sparse Strategies in Two-Player Games AAAI 2025
Critically Assessing the State of the Art in Neural Network Verification JMLR 2024
Rhythm Inference Helping Writing Music Scores IJCAI 2024
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024
Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs NIPS 2024
Worst-Case VCG Redistribution Mechanism Design Based on the Lottery Ticket Hypothesis AAAI 2024
Parameterized Analysis of Bribery in Challenge the Champ Tournaments IJCAI 2024
Learning Fair Policies for Multi-Stage Selection Problems from Observational Data AAAI 2024
Better Peer Grading through Bayesian Inference AAAI 2023
Self-Paced Learning Based Graph Convolutional Neural Network for Mixed Integer Programming (Student Abstract) AAAI 2023
LIMIP: Lifelong Learning to Solve Mixed Integer Programs AAAI 2023
Learning To Dive In Branch And Bound NIPS 2023
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) IJCAI 2023
Securing Lifelines: Safe Delivery of Critical Services in Areas with Volatile Security Situation via a Stackelberg Game Approach AAAI 2023
Safe Control with Neural Network Dynamic Models L4DC 2022
Learning to Branch with Tree MDPs NIPS 2022
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks ICML 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification NIPS 2022
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks IJCAI 2022
A Hybrid Evolutionary Algorithm for the Diversified Top-k Weight Clique Search Problem (Student Abstract) AAAI 2022
Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service AAAI 2021