Discrete Optimization

Learning solutions to hybrid control problems using Benders cuts L4DC 2020 Learning to Accelerate Heuristic Searching for Large-Scale Maximum Weighted b-Matching Problems in Online Advertising IJCAI 2020 Lower Bounds and Faster Algorithms for Equality Constraints IJCAI 2020 MINA: Convex Mixed-Integer Programming for Non-Rigid Shape Alignment CVPR 2020 MIPaaL: Mixed Integer Program as a Layer AAAI 2020 Multiclass Neural Network Minimization via Tropical Newton Polytope Approximation ICML 2020 Multi-Directional Heuristic Search IJCAI 2020 Multiple Birds with One Stone: Beating 1/2 for EFX and GMMS via Envy Cycle Elimination AAAI 2020 Optimizing Reachability Sets in Temporal Graphs by Delaying AAAI 2020 Ordering Variables for Weighted Model Integration UAI 2020 Photometric Stereo via Discrete Hypothesis-and-Test Search CVPR 2020 Plankton: Scalable network configuration verification through model checking NSDI 2020 POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization AAAI 2020 Predicting Propositional Satisfiability via End-to-End Learning AAAI 2020 Proximity Preserving Binary Code Using Signed Graph-Cut AAAI 2020 Recent Developments in Boolean Matrix Factorization IJCAI 2020 Reinforcement Learning for Integer Programming: Learning to Cut ICML 2020 Relative Interior Rule in Block-Coordinate Descent CVPR 2020 Scalable Bayesian Network Structure Learning via Maximum Acyclic Subgraph PGM 2020 Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems IJCAI 2020 Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems AAAI 2020 Solving Set Cover and Dominating Set via Maximum Satisfiability AAAI 2020 Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming AAAI 2020 Streaming k-Submodular Maximization under Noise subject to Size Constraint ICML 2020 Structural Decompositions of Epistemic Logic Programs AAAI 2020