← Optimization
Mathematics & Optimization › Optimization ›

Discrete Optimization

705 directly classified papers

Papers per year

Papers

From Support Propagation to Belief Propagation in Constraint Programming (Extended Abstract) IJCAI 2020
Lower Bounds and Faster Algorithms for Equality Constraints IJCAI 2020
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems IJCAI 2020
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers IJCAI 2020
Automatic Dominance Breaking for a Class of Constraint Optimization Problems IJCAI 2020
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs IJCAI 2020
Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients NIPS 2020
Recent Developments in Boolean Matrix Factorization IJCAI 2020
A Novel Approach for Constrained Optimization in Graphical Models NIPS 2020
Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound IJCAI 2020
A Unified Model for the Two-stage Offline-then-Online Resource Allocation IJCAI 2020
MINA: Convex Mixed-Integer Programming for Non-Rigid Shape Alignment CVPR 2020
Relative Interior Rule in Block-Coordinate Descent CVPR 2020
Determinant Regularization for Gradient-Efficient Graph Matching CVPR 2020
Discrete Optimization for Unsupervised Sentence Summarization with Word-Level Extraction ACL 2020
Photometric Stereo via Discrete Hypothesis-and-Test Search CVPR 2020
Plankton: Scalable network configuration verification through model checking NSDI 2020
Adversarial Learning for 3D Matching UAI 2020
Ordering Variables for Weighted Model Integration UAI 2020
Hardness of Identity Testing for Restricted Boltzmann Machines and Potts models COLT 2020
Streaming k-Submodular Maximization under Noise subject to Size Constraint ICML 2020
From Sets to Multisets: Provable Variational Inference for Probabilistic Integer Submodular Models ICML 2020
Proximity Preserving Binary Code Using Signed Graph-Cut AAAI 2020
A Greedy Bit-flip Training Algorithm for Binarized Knowledge Graph Embeddings EMNLP 2020
Hitting the High Notes: Subset Selection for Maximizing Expected Order Statistics NIPS 2020