← Optimization
Mathematics & Optimization › Optimization ›

Discrete Mathematics

38 directly classified papers

Papers per year

Papers

Discounted Cuts: A Stackelberg Approach to Network Disruption AAAI 2026
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds IJCAI 2025
EPVerifier: Accelerating Update Storms Verification with Edge-Predicate NSDI 2024
Efficient Semiring-Weighted Earley Parsing ACL 2023
Multi-winner approval voting goes epistemic UAI 2022
Practical Fixed-Parameter Algorithms for Defending Active Directory Style Attack Graphs AAAI 2022
An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs AAAI 2022
Sparsification of Decomposable Submodular Functions AAAI 2022
Fast Heuristic Detection of Offensive Words in Wordwheel Puzzles AAAI 2022
Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming IJCAI 2022
Modeling Abstract Algebra as an OWL Ontology (Student Abstract) AAAI 2022
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021
Optimal Kidney Exchange with Immunosuppressants AAAI 2021
An Improved Upper Bound for SAT AAAI 2021
Unconstrained MAP Inference, Exponentiated Determinantal Point Processes, and Exponential Inapproximability AISTATS 2021
Computing Plan-Length Bounds Using Lengths of Longest Paths AAAI 2021
A Conditional Splitting Framework for Efficient Constituency Parsing IJCNLP 2021
Finite-state Model of Shupamem Reduplication ACL 2021
Solving Infinite-Domain CSPs Using the Patchwork Property AAAI 2021
On Maximization of Weakly Modular Functions: Guarantees of Multi-stage Algorithms, Tractability, and Hardness AISTATS 2020
Finding Most Compatible Phylogenetic Trees over Multi-State Characters AAAI 2020
To compress or not to compress? A Finite-State approach to Nen verbal morphology ACL 2020
Robust Sequence Submodular Maximization NIPS 2020
Quadratic Decomposable Submodular Function Minimization: Theory and Practice JMLR 2020
Adaptive Sequence Submodularity NIPS 2019