Discrete Mathematics

A Unified Lower Bound on the Noisy Query Complexity of Boolean Functions COLT 2026 Quiet Planting for k-SAT, Multiple Solutions of Arbitrary Geometry COLT 2026 Understanding the Impact of Proportionality in Approval-Based Multiwinner Elections AAAI 2026 Aggregating Quantitative Relative Judgments: From Social Choice to Ranking Prediction NeurIPS 2024 Dual VC Dimension Obstructs Sample Compression by Embeddings COLT 2024 General Epistemic Abstract Argumentation Framework: Semantics and Complexity IJCAI 2024 A finite-state morphological analyser for Highland Puebla Nahuatl ACL 2023 Detection-Recovery Gap for Planted Dense Cycles COLT 2023 Rank Aggregation Using Scoring Rules AAAI 2023 Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022 Hedonic Games with Fixed-Size Coalitions AAAI 2022 Learning Low Degree Hypergraphs COLT 2022 Modeling Abstract Algebra as an OWL Ontology (Student Abstract) AAAI 2022 Multi-winner approval voting goes epistemic UAI 2022 Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021 Reconstructing weighted voting schemes from partial information about their power indices COLT 2021 Poset Representations for Sets of Elementary Triplets PGM 2020 Position-Based Social Choice Methods for Intransitive Incomplete Pairwise Vote Sets (Student Abstract) AAAI 2020 Ranking Semantics for Argumentation Systems With Necessities IJCAI 2020 Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017 Learning Causal Graphs with Small Interventions NeurIPS 2015 Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation NeurIPS 2008 Non-parametric Modeling of Partially Ranked Data NeurIPS 2007