conftrace_

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)

Deep Spiking Delayed Feedback Reservoirs and Its Application in Spectrum Sensing of MIMO-OFDM Dynamic Spectrum Sharing AAAI 2020
To Signal or Not To Signal: Exploiting Uncertain Real-Time Information in Signaling Games for Security and Sustainability AAAI 2020
Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) AAAI 2020
Chain Length and CSPs Learnable with Few Queries AAAI 2020
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression AAAI 2020
Representative Solutions for Bi-Objective Optimisation AAAI 2020
Dynamic Programming for Predict+Optimise AAAI 2020
Accelerating Primal Solution Findings for Mixed Integer Programs Based on Solution Prediction AAAI 2020
Optimization of Chance-Constrained Submodular Functions AAAI 2020
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020
Modelling and Solving Online Optimisation Problems AAAI 2020
Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020
MIPaaL: Mixed Integer Program as a Layer AAAI 2020
Using Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit Resources AAAI 2020
SPAN: A Stochastic Projected Approximate Newton Method AAAI 2020
Modelling Diversity of Solutions AAAI 2020
Incremental Symmetry Breaking Constraints for Graph Search Problems AAAI 2020
Finding Most Compatible Phylogenetic Trees over Multi-State Characters AAAI 2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020
Augmenting the Power of (Partial) MaxSat Resolution with Extension AAAI 2020
Solving Set Cover and Dominating Set via Maximum Satisfiability AAAI 2020
Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining AAAI 2020
An Effective Hard Thresholding Method Based on Stochastic Variance Reduction for Nonconvex Sparse Learning AAAI 2020
Accelerating Column Generation via Flexible Dual Optimal Inequalities with Application to Entity Resolution AAAI 2020
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems AAAI 2020