Discrete Optimization

A Knowledge Compilation Map for Quantum Information AAAI 2026 Binary Split Categorical Feature with Mean Absolute Error Criteria in CART AAAI 2026 Constraint Optimization of MicroPlate Designs AAAI 2026 A Little Subsidy Ensures MMS Allocation for Three Agents IJCAI 2025 “All-Something-Nothing” Phase Transitions in Planted k-Factor Recovery (Extended Abstract) COLT 2025 Almost Optimal Fully Dynamic k-Center Clustering with Recourse ICML 2025 An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025 A Plug-and-Play Bregman ADMM Module for Inferring Event Branches in Temporal Point Processes AAAI 2025 A Structural Complexity Analysis of Hierarchical Task Network Planning IJCAI 2025 A Unified Framework for Generalization Error Analysis of Learning with Arbitrary Discrete Weak Features ICML 2025 Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problems IJCAI 2025 Boundary Decomposition for Finding Nadir Objective Vector in Multi-Objective Discrete Optimization AAAI 2025 Causal Discovery by Interventions via Integer Programming AAAI 2025 Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025 Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025 Commitment to Sparse Strategies in Two-Player Games AAAI 2025 Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025 DCILP: A Distributed Approach for Large-Scale Causal Structure Learning AAAI 2025 Decomposed Quadratization: Efficient QUBO Formulation for Learning Bayesian Network AAAI 2025 Densest k-Subgraph Mining via a Provably Tight Relaxation AAAI 2025 DisCo-DSO: Coupling Discrete and Continuous Optimization for Efficient Generative Design in Hybrid Spaces AAAI 2025 Discovering Symmetries of ODEs by Symbolic Regression AAAI 2025 Discrete and Continuous Difference of Submodular Minimization ICML 2025 DualOpt: A Dual Divide-and-Optimize Algorithm for the Large-scale Traveling Salesman Problem AAAI 2025 Exact Algorithms and Lower Bounds for Forming Coalitions of Constrained Maximum Size AAAI 2025