conftrace_
← Topics

Mathematics & Optimization

16,944 papers (0 classified directly here)

Subtopics

Optimization (12,959) Mathematics (5,735) Probability (519) Statistics (265) Discrete Mathematics (15)

Papers per year

1
23
162
566
1706
801
'00
'05
'10
'15
'20
'25

Papers (including subtopics)

NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques AAAI 2023
Separate but Equal: Equality in Belief Propagation for Single Cycle Graphs AAAI 2023
DASH: A Distributed and Parallelizable Algorithm for Size-Constrained Submodular Maximization AAAI 2023
SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023
Submodular Maximization under the Intersection of Matroid and Knapsack Constraints AAAI 2023
A Framework to Design Approximation Algorithms for Finding Diverse Solutions in Combinatorial Problems AAAI 2023
An Improved Approximation Algorithm for Wage Determination and Online Task Allocation in Crowd-Sourcing AAAI 2023
Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints AAAI 2023
Fast Converging Anytime Model Counting AAAI 2023
Finding Good Partial Assignments during Restart-Based Branch and Bound Search AAAI 2023
Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem AAAI 2023
Self-Supervised Primal-Dual Learning for Constrained Optimization AAAI 2023
Reinforcement Learning for Branch-and-Bound Optimisation Using Retrospective Trajectories AAAI 2023
Constraint Optimization over Semirings AAAI 2023
Generalized Confidence Constraints AAAI 2023
Circuit Minimization with QBF-Based Exact Synthesis AAAI 2023
Probabilistic Generalization of Backdoor Trees with Application to SAT AAAI 2023
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023
Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers AAAI 2023
Rule Induction in Knowledge Graphs Using Linear Programming AAAI 2023
Constrained Market Share Maximization by Signal-Guided Optimization AAAI 2023
Detecting Sources of Healthcare Associated Infections AAAI 2023
Parameterized Algorithms for Colored Clustering AAAI 2023
Towards Reliable Item Sampling for Recommendation Evaluation AAAI 2023
Signed Laplacian Graph Neural Networks AAAI 2023