Discrete Mathematics

Kemeny Consensus Complexity IJCAI 2021 Learning of Structurally Unambiguous Probabilistic Grammars AAAI 2021 Margin of Victory in Tournaments: Structural and Experimental Results AAAI 2021 Maximization of Monotone k-Submodular Functions with Bounded Curvature and Non-k-Submodular Functions ACML 2021 Minimization of Limit-Average Automata IJCAI 2021 Multi-Party Campaigning AAAI 2021 Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom AAAI 2021 New Algorithms for Japanese Residency Matching IJCAI 2021 On the Complexity of Finding Justifications for Collective Decisions AAAI 2021 On the Complexity of Sum-of-Products Problems over Semirings AAAI 2021 On-the-fly Synthesis for LTL over Finite Traces AAAI 2021 Optimal Kidney Exchange with Immunosuppressants AAAI 2021 PROPm Allocations of Indivisible Goods to Multiple Agents IJCAI 2021 Proportional Representation under Single-Crossing Preferences Revisited AAAI 2021 Ranking Extensions in Abstract Argumentation IJCAI 2021 Recognizing Reduplicated Forms: Finite-State Buffered Machines ACL 2021 Sequential Random Sampling Revisited: Hidden Shuffle Method AISTATS 2021 Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions IJCAI 2021 Solving Infinite-Domain CSPs Using the Patchwork Property AAAI 2021 Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms AAAI 2021 The Bethe and Sinkhorn Permanents of Low Rank Matrices and Implications for Profile Maximum Likelihood COLT 2021 The Match-Extend serialization algorithm in Multiprecedence ACL 2021 The Power of Factorial Powers: New Parameter settings for (Stochastic) Optimization ACML 2021 The Power of Literal Equivalence in Model Counting AAAI 2021 The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits AAAI 2021