conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

1
1
10
55
42
'05
'10
'15
'20
'25

Papers

Finding Dataset Shortcuts with Grammar Induction EMNLP 2022
Voting in Two-Crossing Elections IJCAI 2022
On the Ordinal Invariance of Power Indices on Coalitional Games IJCAI 2022
Explaining Preferences by Multiple Patterns in Voters’ Behavior IJCAI 2022
Proportional Budget Allocations: Towards a Systematization IJCAI 2022
An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022
Disentangling the Computational Complexity of Network Untangling IJCAI 2022
LTL on Weighted Finite Traces: Formal Foundations and Algorithms IJCAI 2022
Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022
The Egocentric Logic of Preferences IJCAI 2022
Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming IJCAI 2022
Trees probe deeper than strings: an argument from allomorphy NAACL 2022
SIGMORPHON 2022 Shared Task on Morpheme Segmentation Submission Description: Sequence Labelling for Word-Level Morpheme Segmentation NAACL 2022
Katra: Realtime Verification for Multilayer Networks NSDI 2022
Multi-winner approval voting goes epistemic UAI 2022
A new constructive criterion for Markov equivalence of MAGs UAI 2022
Approximate Decomposable Submodular Function Minimization for Cardinality-Based Components NIPS 2021
Optimal Kidney Exchange with Immunosuppressants AAAI 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
An Improved Upper Bound for SAT AAAI 2021
Solving Infinite-Domain CSPs Using the Patchwork Property AAAI 2021
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021
The Power of Literal Equivalence in Model Counting AAAI 2021
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021
On the Complexity of Finding Justifications for Collective Decisions AAAI 2021