conftrace_
← Optimization
Mathematics & Optimization › Optimization ›

Discrete Optimization

705 papers

Papers per year

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

Papers

Fair Allocation of Items in Multiple Regions AAAI 2024
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024
Auditable Algorithms for Approximate Model Counting AAAI 2024
Taming Binarized Neural Networks and Mixed-Integer Programs AAAI 2024
Learning Small Decision Trees with Few Outliers: A Parameterized Perspective AAAI 2024
Optimal Survival Trees: A Dynamic Programming Approach AAAI 2024
New Classes of the Greedy-Applicable Arm Feature Distributions in the Sparse Linear Bandit Problem AAAI 2024
Fusing Conditional Submodular GAN and Programmatic Weak Supervision AAAI 2024
Online Submodular Maximization via Online Convex Optimization AAAI 2024
Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning AAAI 2024
The Complexity of Optimizing Atomic Congestion AAAI 2024
Symbolic Numeric Planning with Patterns AAAI 2024
An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024
Identification for Tree-Shaped Structural Causal Models in Polynomial Time AAAI 2024
Learning Diffusions under Uncertainty AAAI 2024
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees AAAI 2024
A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the Same Skeleton AAAI 2024
DOGE-Train: Discrete Optimization on GPU with End-to-End Training AAAI 2024
Delegation-Relegation for Boolean Matrix Factorization AAAI 2024
Parameterized Approximation Algorithms for Sum of Radii Clustering and Variants AAAI 2024
Efficient Constrained K-center Clustering with Background Knowledge AAAI 2024
Limited Query Graph Connectivity Test AAAI 2024
Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover AAAI 2024
Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming AAAI 2024