conftrace_
← Optimization
Mathematics & Optimization › Optimization ›

Theory

98 papers

Papers per year

1
9
2
'15
'20
'25

Papers

Model Interpretability through the lens of Computational Complexity NIPS 2020
Robust Sub-Gaussian Principal Component Analysis and Width-Independent Schatten Packing NIPS 2020
Augmenting the Power of (Partial) MaxSat Resolution with Extension AAAI 2020
Hard Examples for Common Variable Decision Heuristics AAAI 2020
A Unifying View on Individual Bounds and Heuristic Inaccuracies in Bidirectional Search AAAI 2020
How the Duration of the Learning Period Affects the Performance of Random Gradient Selection Hyper-Heuristics AAAI 2020
Convergence of Opinion Diffusion is PSPACE-Complete AAAI 2020
Submodular Function Minimization with Noisy Evaluation Oracle NIPS 2019
Poincaré Recurrence, Cycles and Spurious Equilibria in Gradient-Descent-Ascent for Non-Convex Non-Concave Zero-Sum Games NIPS 2019
Estimating Entropy of Distributions in Constant Space NIPS 2019
Computational Separations between Sampling and Optimization NIPS 2019
Solving Integer Quadratic Programming via Explicit and Structural Restrictions AAAI 2019
An Improved Quasi-Polynomial Algorithm for Approximate Well-Supported Nash Equilibria AAAI 2019
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory AAAI 2019
On the Hardness of Probabilistic Inference Relaxations AAAI 2019
Rethinking the Discount Factor in Reinforcement Learning: A Decision Theoretic Approach AAAI 2019
Ontology Approximation in Horn Description Logics IJCAI 2019
Oblivious and Semi-Oblivious Boundedness for Existential Rules IJCAI 2019
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles IJCAI 2019
Implementation of a Chomsky-Schützenberger n-best parser for weighted multiple context-free grammars NAACL 2019
Learning to Solve SMT Formulas NIPS 2018
Nearly tight sample complexity bounds for learning mixtures of Gaussians via sample compression schemes NIPS 2018
Relating Leverage Scores and Density using Regularized Christoffel Functions NIPS 2018
Spectral Filtering for General Linear Dynamical Systems NIPS 2018
Adaptive Negative Curvature Descent with Applications in Non-convex Optimization NIPS 2018