Discrete Mathematics

Tournaments in Computational Social Choice: Recent Developments IJCAI 2021 Toward Determining NFA Equivalence via QBFs (Student Abstract) AAAI 2021 Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard AAAI 2021 Unconstrained MAP Inference, Exponentiated Determinantal Point Processes, and Exponential Inapproximability AISTATS 2021 Unitary Branching Programs: Learnability and Lower Bounds ICML 2021 Updating the Belief Promotion Operator IJCAI 2021 ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020 A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract) AAAI 2020 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Chain Length and CSPs Learnable with Few Queries AAAI 2020 Comparing Election Methods Where Each Voter Ranks Only Few Candidates AAAI 2020 Convexity of b-matching Games IJCAI 2020 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020 Deductive Module Extraction for Expressive Description Logics IJCAI 2020 Differentiable Grammars for Videos AAAI 2020 Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory IJCAI 2020 Dual Formulation of the Chordal Graph Conjecture PGM 2020 Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints IJCAI 2020 Envelope-Based Approaches to Real-Time Heuristic Search AAAI 2020 Fair Division of Time: Multi-layered Cake Cutting IJCAI 2020 Fast and Parallel Decomposition of Constraint Satisfaction Problems IJCAI 2020 Finding Most Compatible Phylogenetic Trees over Multi-State Characters AAAI 2020 Forgetting an Argument AAAI 2020 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020