Discrete Optimization

MIP-GNN: A Data-Driven Framework for Guiding Combinatorial Solvers AAAI 2022 Neural Set Function Extensions: Learning with Discrete Functions in High Dimensions NeurIPS 2022 Online Learning for Min Sum Set Cover and Pandora’s Box ICML 2022 Optimistic Tree Searches for Combinatorial Black-Box Optimization NeurIPS 2022 PRISM: A Rich Class of Parameterized Submodular Information Measures for Guided Data Subset Selection AAAI 2022 Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022 Robustness in Multi-Objective Submodular Optimization: a Quantile Approach ICML 2022 Scalable design of Error-Correcting Output Codes using Discrete Optimization with Graph Coloring NeurIPS 2022 SMT-based weighted model integration with structure awareness UAI 2022 Solving Large-Scale Sparse PCA to Certifiable (Near) Optimality JMLR 2022 Spectral Robustness for Correlation Clustering Reconstruction in Semi-Adversarial Models AISTATS 2022 Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty AAAI 2022 Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts NeurIPS 2022 The Bullets Puzzle: A Paper-and-Pencil Minesweeper AAAI 2022 The Burer-Monteiro SDP method can fail even above the Barvinok-Pataki bound NeurIPS 2022 The Complexity of Proportionality Degree in Committee Elections AAAI 2022 The SoftCumulative Constraint with Quadratic Penalty AAAI 2022 Tight query complexity bounds for learning graph partitions COLT 2022 Undercover Boolean Matrix Factorization with MaxSAT AAAI 2022 Accelerated Combinatorial Search for Outlier Detection with Provable Bound on Sub-Optimality AAAI 2021 Alternating Direction Method of Multipliers for Quantization AISTATS 2021 A Root of a Problem: Optimizing Single-Root Dependency Parsing EMNLP 2021 A Scalable Deterministic Global Optimization Algorithm for Clustering Problems ICML 2021 A Unified Framework for Planning with Learned Neural Network Transition Models AAAI 2021 Binary Matrix Factorisation via Column Generation AAAI 2021