conftrace_
← Optimization
Mathematics & Optimization › Optimization ›

Discrete Optimization

705 papers

Papers per year

10
26
66
51
'10
'15
'20
'25

Papers

Constraint Optimization of MicroPlate Designs AAAI 2026
A Knowledge Compilation Map for Quantum Information AAAI 2026
Binary Split Categorical Feature with Mean Absolute Error Criteria in CART AAAI 2026
Weighted Poisson-disk Resampling on Large-Scale Point Clouds AAAI 2025
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025
Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning AAAI 2025
Exploiting Symmetries in MUS Computation AAAI 2025
Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound AAAI 2025
SORREL: Suboptimal-Demonstration-Guided Reinforcement Learning for Learning to Branch AAAI 2025
FFCG: Effective and Fast Family Column Generation for Solving Large-Scale Linear Program AAAI 2025
Search Strategy Generation for Branch and Bound Using Genetic Programming AAAI 2025
Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025
The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025
Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025
Decomposed Quadratization: Efficient QUBO Formulation for Learning Bayesian Network AAAI 2025
Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025
Densest k-Subgraph Mining via a Provably Tight Relaxation AAAI 2025
Commitment to Sparse Strategies in Two-Player Games AAAI 2025
Exact Algorithms and Lower Bounds for Forming Coalitions of Constrained Maximum Size AAAI 2025
On the Distortion of Committee Election with 1-Euclidean Preferences and Few Distance Queries AAAI 2025
Improved Maximin Share Approximations for Chores by Bin Packing AAAI 2025
Understanding EFX Allocations: Counting and Variants AAAI 2025
Fair and Efficient Completion of Indivisible Goods AAAI 2025
An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025
Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025