Discrete Optimization

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024 Clustering with Non-adaptive Subset Queries NeurIPS 2024 Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024 Controlling Continuous Relaxation for Combinatorial Optimization NeurIPS 2024 Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning AAAI 2024 Decision-Making for Land Conservation: A Derivative-Free Optimization Framework with Nonlinear Inputs AAAI 2024 Deep Learning-Based Alternative Route Computation AISTATS 2024 Deep Submodular Peripteral Networks NeurIPS 2024 Delegation-Relegation for Boolean Matrix Factorization AAAI 2024 Differentiable Combinatorial Scheduling at Scale ICML 2024 Differentially Private Set Representations NeurIPS 2024 Disjoint Partial Enumeration without Blocking Clauses AAAI 2024 DOGE-Train: Discrete Optimization on GPU with End-to-End Training AAAI 2024 Dynamic Budget Throttling in Repeated Second-Price Auctions AAAI 2024 Efficient Constrained K-center Clustering with Background Knowledge AAAI 2024 Efficient Modality Selection in Multimodal Learning JMLR 2024 Embarrassingly Parallel GFlowNets ICML 2024 Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024 Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024 Envy-Free House Allocation under Uncertain Preferences AAAI 2024 Fair Allocation of Items in Multiple Regions AAAI 2024 Fair Lotteries for Participatory Budgeting AAAI 2024 Fast Dynamic Sampling for Determinantal Point Processes AISTATS 2024 Faster Differentially Private Top-k Selection: A Joint Exponential Mechanism with Pruning NeurIPS 2024 First Passage Percolation with Queried Hints AISTATS 2024