Discrete Mathematics

Distances Between Top-Truncated Elections of Different Sizes AAAI 2025 EF1 and EFX Orientations IJCAI 2025 Effective Sampling for Robot Motion Planning Through the Lens of Lattices RSS 2025 Epistemic EFX Allocations Exist for Monotone Valuations AAAI 2025 Exploiting Symmetries in MUS Computation AAAI 2025 Finding Possible Winners in Spatial Voting with Incomplete Information IJCAI 2025 Improved Maximin Share Approximations for Chores by Bin Packing AAAI 2025 Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms ICML 2025 Linear Equations with Min and Max Operators: Computational Complexity AAAI 2025 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025 New Sequence-Independent Lifting Techniques for Cover Inequalities and When They Induce Facets IJCAI 2025 On Middle Grounds for Preference Statements IJCAI 2025 Optimal Bounds for Dissatisfaction in Perpetual Voting AAAI 2025 Private List Learnability vs. Online List Learnability COLT 2025 Proof Simulation via Round-based Strategy Extraction for QBF AAAI 2025 Proportional Representation in Practice: Quantifying Proportionality in Ordinal Elections AAAI 2025 Scenario-Based Robust Optimization of Tree Structures AAAI 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking AAAI 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025 Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 Suboptimal Search with Dynamic Distribution of Suboptimality AAAI 2025 Temporal Triadic Closure: Finding Dense Substructures in Social Networks That Evolve over Time AAAI 2025 Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025 The Complexity of Extending Fair Allocations of Indivisible Goods AAAI 2025