Discrete Optimization

Ddo, a Generic and Efficient Framework for MDD-Based Optimization IJCAI 2020 Determinant Regularization for Gradient-Efficient Graph Matching CVPR 2020 Discrete Optimization for Unsupervised Sentence Summarization with Word-Level Extraction ACL 2020 Dual Formulation of the Chordal Graph Conjecture PGM 2020 Election Control by Manipulating Issue Significance UAI 2020 Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms AAAI 2020 Exact and Efficient Inference for Collective Flow Diffusion Model via Minimum Convex Cost Flow Algorithm AAAI 2020 Fairness in Streaming Submodular Maximization: Algorithms and Hardness NeurIPS 2020 Fast Adaptive Non-Monotone Submodular Maximization Subject to a Knapsack Constraint NeurIPS 2020 Fast and Private Submodular and k-Submodular Functions Maximization with Matroid Constraints ICML 2020 Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining AAAI 2020 Finding Most Compatible Phylogenetic Trees over Multi-State Characters AAAI 2020 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020 From Sets to Multisets: Provable Variational Inference for Probabilistic Integer Submodular Models ICML 2020 From Support Propagation to Belief Propagation in Constraint Programming (Extended Abstract) IJCAI 2020 Hardness of Identity Testing for Restricted Boltzmann Machines and Potts models COLT 2020 High Dimensional Discrete Integration over the Hypergrid UAI 2020 Hitting the High Notes: Subset Selection for Maximizing Expected Order Statistics NeurIPS 2020 HS-CAI: A Hybrid DCOP Algorithm via Combining Search with Context-Based Inference AAAI 2020 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020 Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) AAAI 2020 Incremental Symmetry Breaking Constraints for Graph Search Problems AAAI 2020 Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients NeurIPS 2020 Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020 Learning Optimal Cyclic Causal Graphs from Interventional Data PGM 2020