← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020
Variable Elimination in Binary CSPs (Extended Abstract) IJCAI 2020
Poset Representations for Sets of Elementary Triplets PGM 2020
It’s Not What Machines Can Learn, It’s What We Cannot Teach ICML 2020
Forgetting an Argument AAAI 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020
Hard Examples for Common Variable Decision Heuristics AAAI 2020
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets AAAI 2020
Dual Formulation of the Chordal Graph Conjecture PGM 2020
Polytime Decomposition of Generalized Submodular Base Polytopes with Efficient Sampling ACML 2020
Reducibility and Statistical-Computational Gaps from Secret Leakage COLT 2020
Taxonomy of Dual Block-Coordinate Ascent Methods for Discrete Energy Minimization AISTATS 2020
On Maximization of Weakly Modular Functions: Guarantees of Multi-stage Algorithms, Tractability, and Hardness AISTATS 2020
Quadratic Decomposable Submodular Function Minimization: Theory and Practice JMLR 2020
Temporal Relations Annotation and Extrapolation Based on Semi-intervals and Boundig Relations COLING 2020
Optimal approximation for unconstrained non-submodular minimization ICML 2020
Learning Selection Strategies in Buchberger’s Algorithm ICML 2020
Ranking Semantics for Argumentation Systems With Necessities IJCAI 2020
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020
Fair Division of Time: Multi-layered Cake Cutting IJCAI 2020
The Complexity of Election Problems with Group-Separable Preferences IJCAI 2020
Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory IJCAI 2020
Parameterized Complexity of Envy-Free Resource Allocation in Social Networks AAAI 2020
Parameterized Algorithms for Finding a Collective Set of Items AAAI 2020