← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020
Envelope-Based Approaches to Real-Time Heuristic Search AAAI 2020
Geometric All-way Boolean Tensor Decomposition NIPS 2020
Differentiable Grammars for Videos AAAI 2020
Ranking-Based Semantics for Sets of Attacking Arguments AAAI 2020
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020
On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank AAAI 2020
Chain Length and CSPs Learnable with Few Queries AAAI 2020
Towards a Combinatorial Characterization of Bounded-Memory Learning NIPS 2020
A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract) AAAI 2020
Social Ranking Manipulability for the CP-Majority, Banzhaf and Lexicographic Excellence Solutions IJCAI 2020
On the Complexity of Winner Verification and Candidate Winner for Multiwinner Voting Rules IJCAI 2020
Convexity of b-matching Games IJCAI 2020
On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020
Rational Closure For All Description Logics (Extended Abstract) IJCAI 2020
Stable Roommate Problem with Diversity Preferences IJCAI 2020
Stable Matchings with Diversity Constraints: Affirmative Action is beyond NP IJCAI 2020
Knowing-How under Uncertainty (Extended Abstract) IJCAI 2020
Comparing Election Methods Where Each Voter Ranks Only Few Candidates AAAI 2020
Ontology Approximation in Horn Description Logics IJCAI 2019
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019
Constraint-Based Sequential Pattern Mining with Decision Diagrams AAAI 2019
A Quantitative Analysis of Multi-Winner Rules IJCAI 2019
An Ordinal Banzhaf Index for Social Ranking IJCAI 2019
Optimality and Nash Stability in Additive Separable Generalized Group Activity Selection Problems IJCAI 2019