← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

The Query Complexity of Cake Cutting NIPS 2022
Locally Fair Partitioning AAAI 2022
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022
Proportional Budget Allocations: Towards a Systematization IJCAI 2022
Resolving the data ambiguity for periodic crystals NIPS 2022
A Fast Local Search Algorithm for the Latin Square Completion Problem AAAI 2022
Formula Synthesis in Propositional Dynamic Logic with Shuffle AAAI 2022
Efficient Algorithms for General Isotone Optimization AAAI 2022
An Improved Upper Bound for SAT AAAI 2021
Solving Infinite-Domain CSPs Using the Patchwork Property AAAI 2021
Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom AAAI 2021
On the Complexity of Finding Justifications for Collective Decisions AAAI 2021
Updating the Belief Promotion Operator IJCAI 2021
On-the-fly Synthesis for LTL over Finite Traces AAAI 2021
Decomposition-Guided Reductions for Argumentation and Treewidth IJCAI 2021
New Algorithms for Japanese Residency Matching IJCAI 2021
Toward Determining NFA Equivalence via QBFs (Student Abstract) AAAI 2021
Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021
Budget-Constrained Coalition Strategies with Discounting IJCAI 2021
Approximate Decomposable Submodular Function Minimization for Cardinality-Based Components NIPS 2021
Fast Algorithms for Relational Marginal Polytopes IJCAI 2021
Ranking Extensions in Abstract Argumentation IJCAI 2021
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021
Kemeny Consensus Complexity IJCAI 2021
Diversity in Kemeny Rank Aggregation: A Parameterized Approach IJCAI 2021