← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Optimal Bounds for Dissatisfaction in Perpetual Voting AAAI 2025
The (Exact) Price of Cardinality for Indivisible Goods: A Parametric Perspective AAAI 2025
An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024
Decomposing Constraint Networks for Calculating c-Representations AAAI 2024
On Computing Makespan-Optimal Solutions for Generalized Sliding-Tile Puzzles AAAI 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
Guide to Numerical Experiments on Elections in Computational Social Choice IJCAI 2024
Approximate Integer Solution Counts over Linear Arithmetic Constraints AAAI 2024
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Memory-Efficient Sequential Pattern Mining with Hybrid Tries JMLR 2024
An Approximate Skolem Function Counter AAAI 2024
Low-degree phase transitions for detecting a planted clique in sublinear time COLT 2024
Simulating weighted automata over sequences and trees with transformers AISTATS 2024
Open problem: Direct Sums in Learning Theory COLT 2024
Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024
Representing Compounding with OntoLex. An Evaluation of Vocabularies for Word Formation Resources COLING 2024
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024
New Proposal of Greenberg’s Universal 14 from Typometrics COLING 2024
Optimal Extended Formulations from Optimal Dynamic Programming Algorithms IJCAI 2024
Disjoint Partial Enumeration without Blocking Clauses AAAI 2024
EPVerifier: Accelerating Update Storms Verification with Edge-Predicate NSDI 2024
The Transformation Logics IJCAI 2024
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024
Fair Allocation of Items in Multiple Regions AAAI 2024