← Optimization
Mathematics & Optimization › Optimization ›

Theory

97 directly classified papers

Papers per year

Papers

Model Interpretability through the lens of Computational Complexity NIPS 2020
Robust Sub-Gaussian Principal Component Analysis and Width-Independent Schatten Packing NIPS 2020
How the Duration of the Learning Period Affects the Performance of Random Gradient Selection Hyper-Heuristics AAAI 2020
A Unifying View on Individual Bounds and Heuristic Inaccuracies in Bidirectional Search AAAI 2020
Hard Examples for Common Variable Decision Heuristics AAAI 2020
Augmenting the Power of (Partial) MaxSat Resolution with Extension AAAI 2020
Poincaré Recurrence, Cycles and Spurious Equilibria in Gradient-Descent-Ascent for Non-Convex Non-Concave Zero-Sum Games NIPS 2019
Computational Separations between Sampling and Optimization NIPS 2019
Oblivious and Semi-Oblivious Boundedness for Existential Rules IJCAI 2019
Rethinking the Discount Factor in Reinforcement Learning: A Decision Theoretic Approach AAAI 2019
On the Hardness of Probabilistic Inference Relaxations AAAI 2019
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory AAAI 2019
An Improved Quasi-Polynomial Algorithm for Approximate Well-Supported Nash Equilibria AAAI 2019
Solving Integer Quadratic Programming via Explicit and Structural Restrictions AAAI 2019
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles IJCAI 2019
Ontology Approximation in Horn Description Logics IJCAI 2019
Implementation of a Chomsky-Schützenberger n-best parser for weighted multiple context-free grammars NAACL 2019
Submodular Function Minimization with Noisy Evaluation Oracle NIPS 2019
Estimating Entropy of Distributions in Constant Space NIPS 2019
On the Logical Properties of the Description Logic DL^N (Extended abstract) IJCAI 2018
The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs IJCAI 2018
Spectral Filtering for General Linear Dynamical Systems NIPS 2018
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals IJCAI 2018
Adaptive Negative Curvature Descent with Applications in Non-convex Optimization NIPS 2018
Learning to Solve SMT Formulas NIPS 2018