← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Liquid Democracy with Ranked Delegations AAAI 2022
On the Complexity of Inductively Learning Guarded Clauses AAAI 2022
Efficient Algorithms for General Isotone Optimization AAAI 2022
Explaining Preferences by Multiple Patterns in Voters’ Behavior IJCAI 2022
Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022
The Triangle-Densest-K-Subgraph Problem: Hardness, Lovász Extension, and Application to Document Summarization AAAI 2022
Resolving the data ambiguity for periodic crystals NIPS 2022
Trees probe deeper than strings: an argument from allomorphy NAACL 2022
Locally Fair Partitioning AAAI 2022
Formula Synthesis in Propositional Dynamic Logic with Shuffle AAAI 2022
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract) AAAI 2022
Answering Queries with Negation over Existential Rules AAAI 2022
Efficient Submodular Optimization under Noise: Local Search is Robust NIPS 2022
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022
Proportional Budget Allocations: Towards a Systematization IJCAI 2022
From Sampling to Optimization on Discrete Domains with Applications to Determinant Maximization COLT 2022
Katra: Realtime Verification for Multilayer Networks NSDI 2022
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022
Multi-winner approval voting goes epistemic UAI 2022
A new constructive criterion for Markov equivalence of MAGs UAI 2022
Finding Dataset Shortcuts with Grammar Induction EMNLP 2022
Characterizing Idioms: Conventionality and Contingency ACL 2022
The Query Complexity of Cake Cutting NIPS 2022
Voting in Two-Crossing Elections IJCAI 2022
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022