Discrete Mathematics

The Distortion of Public-Spirited Participatory Budgeting AAAI 2025 The (Exact) Price of Cardinality for Indivisible Goods: A Parametric Perspective AAAI 2025 The Proportional Veto Principle for Approval Ballots IJCAI 2025 Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025 Understanding EFX Allocations: Counting and Variants AAAI 2025 Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems IJCAI 2025 A Combinatorial Algorithm for the Semi-Discrete Optimal Transport Problem NeurIPS 2024 A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs IJCAI 2024 An Approximate Skolem Function Counter AAAI 2024 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024 Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024 An L* Algorithm for Deterministic Weighted Regular Languages EMNLP 2024 A Novel Skip Orthogonal List for Dynamic Optimal Transport Problem AAAI 2024 Approximate Integer Solution Counts over Linear Arithmetic Constraints AAAI 2024 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024 Aspect Variability and the Annotation of Aspect in the IMAGACT Ontology of Action COLING 2024 Auditable Algorithms for Approximate Model Counting AAAI 2024 Comparing Ways of Obtaining Candidate Orderings from Approval Ballots IJCAI 2024 Compilation and Fast Model Counting beyond CNF IJCAI 2024 Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024 Decomposing Constraint Networks for Calculating c-Representations AAAI 2024 Disjoint Partial Enumeration without Blocking Clauses AAAI 2024 Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024