Skip to content
conftrace_

Discrete Optimization

721 papers

10
26
66
59
'10
'15
'20
'25

Papers

Sampling from Binary Quadratic Distributions via Stochastic Localization ICML 2025 Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025 Search Strategy Generation for Branch and Bound Using Genetic Programming AAAI 2025 Solving Multiagent Path Finding on Highly Centralized Networks AAAI 2025 SORREL: Suboptimal-Demonstration-Guided Reinforcement Learning for Learning to Branch AAAI 2025 Testing Juntas and Junta Subclasses with Relative Error COLT 2025 The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025 Theoretically Grounded Pruning of Large Ground Sets for Constrained, Discrete Optimization AISTATS 2025 Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025 Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025 Understanding EFX Allocations: Counting and Variants AAAI 2025 Weighted Poisson-disk Resampling on Large-Scale Point Clouds AAAI 2025 1/2-Approximate MMS Allocation for Separable Piecewise Linear Concave Valuations AAAI 2024 Accelerating ERM for data-driven algorithm design using output-sensitive techniques NeurIPS 2024 Accelerating Matroid Optimization through Fast Imprecise Oracles NeurIPS 2024 A Combinatorial Algorithm for the Semi-Discrete Optimal Transport Problem NeurIPS 2024 A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem AAAI 2024 A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the Same Skeleton AAAI 2024 Almost Envy-Free Allocations of Indivisible Goods or Chores with Entitlements AAAI 2024 An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024 A Novel Skip Orthogonal List for Dynamic Optimal Transport Problem AAAI 2024 Approximate Integer Solution Counts over Linear Arithmetic Constraints AAAI 2024 A robust inlier identification algorithm for point cloud registration via ℓ_0-minimization NeurIPS 2024 Auditable Algorithms for Approximate Model Counting AAAI 2024 Binary Search with Distributional Predictions NeurIPS 2024