← Optimization
Mathematics & Optimization › Optimization ›

Discrete Optimization

705 directly classified papers

Papers per year

Papers

Predicting Propositional Satisfiability via End-to-End Learning AAAI 2020
Hardness of Identity Testing for Restricted Boltzmann Machines and Potts models COLT 2020
Reinforcement Learning for Integer Programming: Learning to Cut ICML 2020
Multiclass Neural Network Minimization via Tropical Newton Polytope Approximation ICML 2020
Fast and Private Submodular and $k$-Submodular Functions Maximization with Matroid Constraints ICML 2020
Hitting the High Notes: Subset Selection for Maximizing Expected Order Statistics NIPS 2020
Ordering Variables for Weighted Model Integration UAI 2020
Adversarial Learning for 3D Matching UAI 2020
High Dimensional Discrete Integration over the Hypergrid UAI 2020
Optimizing Reachability Sets in Temporal Graphs by Delaying AAAI 2020
Plankton: Scalable network configuration verification through model checking NSDI 2020
Coresets for Estimating Means and Mean Square Error with Limited Greedy Samples UAI 2020
A Greedy Bit-flip Training Algorithm for Binarized Knowledge Graph Embeddings EMNLP 2020
Election Control by Manipulating Issue Significance UAI 2020
Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming AAAI 2020
Determinant Regularization for Gradient-Efficient Graph Matching CVPR 2020
Relative Interior Rule in Block-Coordinate Descent CVPR 2020
POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization AAAI 2020
MINA: Convex Mixed-Integer Programming for Non-Rigid Shape Alignment CVPR 2020
Proximity Preserving Binary Code Using Signed Graph-Cut AAAI 2020
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms AAAI 2020
Solving Set Cover and Dominating Set via Maximum Satisfiability AAAI 2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020
MIPaaL: Mixed Integer Program as a Layer AAAI 2020
Multiple Birds with One Stone: Beating 1/2 for EFX and GMMS via Envy Cycle Elimination AAAI 2020