← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Private Frequency Estimation via Residue Number Systems AAAI 2026
EFX and PO Allocation Exists for Two Types of Goods AAAI 2026
Identifying Imperfect Clones in Elections AAAI 2026
Higher-Order Responsibility AAAI 2026
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming AAAI 2026
Faster Symmetry Breaking Constraints for Abstract Structures AAAI 2026
What Voting Rules Actually Do: A Data-Driven Analysis of Multi-Winner Voting AAAI 2026
The River Voting Method AAAI 2026
Multiple-Interval Coverage for Resource Management of Passive Surveillance Systems AAAI 2026
Exclusion Zones of Instant Runoff Voting AAAI 2026
Cost-Free Neutrality for the River Method AAAI 2026
Effective Sampling for Robot Motion Planning Through the Lens of Lattices RSS 2025
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems IJCAI 2025
EF1 and EFX Orientations IJCAI 2025
Adaptive Manipulation for Coalitions in Knockout Tournaments AAAI 2025
Shield Synthesis for LTL Modulo Theories AAAI 2025
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025
On Middle Grounds for Preference Statements IJCAI 2025
Finding Possible Winners in Spatial Voting with Incomplete Information IJCAI 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025
Understanding EFX Allocations: Counting and Variants AAAI 2025
An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025
Analyzing and generating English phrases with finite-state methods to match and translate inflected Plains Cree word-forms NAACL 2025
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025
The (Exact) Price of Cardinality for Indivisible Goods: A Parametric Perspective AAAI 2025