conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

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

Papers

A Conditional Splitting Framework for Efficient Constituency Parsing IJCNLP 2021
Determinantal Beam Search IJCNLP 2021
Geometric All-way Boolean Tensor Decomposition NIPS 2020
Towards a Combinatorial Characterization of Bounded-Memory Learning NIPS 2020
Robust Sequence Submodular Maximization NIPS 2020
Chain Length and CSPs Learnable with Few Queries AAAI 2020
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020
Finding Most Compatible Phylogenetic Trees over Multi-State Characters AAAI 2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020
Hard Examples for Common Variable Decision Heuristics AAAI 2020
Parameterized Algorithms for Finding a Collective Set of Items AAAI 2020
On Swap Convexity of Voting Rules AAAI 2020
Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets AAAI 2020
Comparing Election Methods Where Each Voter Ranks Only Few Candidates AAAI 2020
Envelope-Based Approaches to Real-Time Heuristic Search AAAI 2020
Forgetting an Argument AAAI 2020
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
Ranking-Based Semantics for Sets of Attacking Arguments AAAI 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020
On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank AAAI 2020
Parameterized Complexity of Envy-Free Resource Allocation in Social Networks AAAI 2020
Differentiable Grammars for Videos AAAI 2020
A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract) AAAI 2020
To compress or not to compress? A Finite-State approach to Nen verbal morphology ACL 2020
Polytime Decomposition of Generalized Submodular Base Polytopes with Efficient Sampling ACML 2020