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)

New Length Dependent Algorithm for Maximum Satisfiability Problem AAAI 2021
Online Search with Maximum Clearance AAAI 2021
Counting Maximal Satisfiable Subsets AAAI 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization AAAI 2021
Necessary and Sufficient Conditions for Avoiding Reopenings in Best First Suboptimal Search with General Bounding Functions AAAI 2021
A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving AAAI 2021
An Improved Upper Bound for SAT AAAI 2021
Solving Infinite-Domain CSPs Using the Patchwork Property AAAI 2021
Disjunctive Temporal Problems under Structural Restrictions AAAI 2021
Optimal Decision Trees for Nonlinear Metrics AAAI 2021
Teaching the Old Dog New Tricks: Supervised Learning with Constraints AAAI 2021
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning AAAI 2021
Optimising Automatic Calibration of Electric Muscle Stimulation AAAI 2021
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021
Finding Diverse Trees, Paths, and More AAAI 2021
Integrated Optimization of Bipartite Matching and Its Stochastic Behavior: New Formulation and Approximation Algorithm via Min-cost Flow Optimization AAAI 2021
Smooth Convex Optimization Using Sub-Zeroth-Order Oracles AAAI 2021
Binary Matrix Factorisation via Column Generation AAAI 2021
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021
On Continuous Local BDD-Based Search for Hybrid SAT Solving AAAI 2021
The Power of Literal Equivalence in Model Counting AAAI 2021
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021
Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021
LCollision: Fast Generation of Collision-Free Human Poses using Learned Non-Penetration Constraints AAAI 2021