Discrete Optimization

On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024 Optimal Makespan in a Minute Timespan! A Scalable Multi-Robot Goal Assignment Algorithm for Minimizing Mission Time AAAI 2024 Optimal Survival Trees: A Dynamic Programming Approach AAAI 2024 ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism IJCAI 2024 Parameterized Approximation Algorithms for Sum of Radii Clustering and Variants AAAI 2024 Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths AAAI 2024 Personalized PCA: Decoupling Shared and Unique Features JMLR 2024 Plum: Prompt Learning using Metaheuristics ACL 2024 Practical Shuffle Coding NeurIPS 2024 Private Edge Density Estimation for Random Graphs: Optimal, Efficient and Robust NeurIPS 2024 Profile Reconstruction from Private Sketches ICML 2024 Recovery Guarantees for Distributed-OMP AISTATS 2024 Sample Complexity of Algorithm Selection Using Neural Networks and Its Applications to Branch-and-Cut NeurIPS 2024 SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024 SAT-Based Tree Decomposition with Iterative Cascading Policy Selection AAAI 2024 Several Stories about High-Multiplicity EFx Allocation (Student Abstract) AAAI 2024 Slack-Free Spiking Neural Network Formulation for Hypergraph Minimum Vertex Cover NeurIPS 2024 Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees AAAI 2024 Spatial Voting with Incomplete Voter Information AAAI 2024 Sum-max Submodular Bandits AISTATS 2024 Symbolic Numeric Planning with Patterns AAAI 2024 Taming Binarized Neural Networks and Mixed-Integer Programs AAAI 2024 The Complexity of Optimizing Atomic Congestion AAAI 2024 The Moderating Effect of Instant Runoff Voting AAAI 2024 Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving AAAI 2024