Discrete Mathematics

Measuring a Priori Voting Power in Liquid Democracy IJCAI 2023 Model-Checking for Ability-Based Logics with Constrained Plans AAAI 2023 Not all Strongly Rayleigh Distributions Have Small Probabilistic Generating Circuits ICML 2023 On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023 On Lower Bounds for Maximin Share Guarantees IJCAI 2023 On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results JMLR 2023 On Undisputed Sets in Abstract Argumentation AAAI 2023 Ordinal Hedonic Seat Arrangement under Restricted Preference Domains: Swap Stability and Popularity IJCAI 2023 Ordinal Maximin Share Approximation for Goods (Extended Abstract) IJCAI 2023 Participatory Budgeting with Multiple Degrees of Projects and Ranged Approval Votes IJCAI 2023 Properties of Position Matrices and Their Elections AAAI 2023 Random Assignment of Indivisible Goods under Constraints IJCAI 2023 SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) IJCAI 2023 SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023 Shhh! The Logic of Clandestine Operations IJCAI 2023 SMT Safety Verification of Ontology-Based Processes AAAI 2023 Solving the Identifying Code Set Problem with Grouped Independent Support IJCAI 2023 Synchronization and Diversity of Solutions AAAI 2023 Targeting Minimal Rare Itemsets from Transaction Databases IJCAI 2023 The k-Cap Process on Geometric Random Graphs COLT 2023 The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023 The Influence of Dimensions on the Complexity of Computing Decision Trees AAAI 2023 Ties in Multiwinner Approval Voting IJCAI 2023 Tournament Fixing Parameterized by Feedback Vertex Set Number Is FPT AAAI 2023 Tricking the Hashing Trick: A Tight Lower Bound on the Robustness of CountSketch to Adaptive Inputs AAAI 2023