Discrete Optimization

Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022 DPCD: Discrete Principal Coordinate Descent for Binary Variable Problems AAAI 2022 Efficient Encoding of Cost Optimal Delete-Free Planning as SAT AAAI 2022 Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022 Exact Learning of Preference Structure: Single-peaked Preferences and Beyond ICML 2022 Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022 Fair and Efficient Allocations of Chores under Bivalued Preferences AAAI 2022 Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method AAAI 2022 FastDOG: Fast Discrete Optimization on GPU CVPR 2022 Fast Payoff Matrix Sparsification Techniques for Structured Extensive-Form Games AAAI 2022 Fast Rank-1 NMF for Missing Data with KL Divergence AISTATS 2022 Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022 From Sampling to Optimization on Discrete Domains with Applications to Determinant Maximization COLT 2022 Generalized Stochastic Matching AAAI 2022 Graphical Representations for Algebraic Constraints of Linear Structural Equations Models PGM 2022 Hedonic Diversity Games: A Complexity Picture with More than Two Colors AAAI 2022 Improved Maximin Guarantees for Subadditive and Fractionally Subadditive Fair Allocation Problem AAAI 2022 Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract) AAAI 2022 Is There a Strongest Die in a Set of Dice with the Same Mean Pips? AAAI 2022 Joint Continuous and Discrete Model Selection via Submodularity JMLR 2022 Learning Large DAGs by Combining Continuous Optimization and Feedback Arc Set Heuristics AAAI 2022 Learning to Compare Nodes in Branch and Bound with Graph Neural Networks NeurIPS 2022 LSAR: Efficient Leverage Score Sampling Algorithm for the Analysis of Big Time Series Data JMLR 2022 Maximum Consensus by Weighted Influences of Monotone Boolean Functions CVPR 2022 Minimax Optimization: The Case of Convex-Submodular AISTATS 2022