Discrete Mathematics

Untangled: A Complete Dynamic Topological Logic AAAI 2023 Voting with Preference Intensities AAAI 2023 A Fast Local Search Algorithm for the Latin Square Completion Problem AAAI 2022 A new constructive criterion for Markov equivalence of MAGs UAI 2022 An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs AAAI 2022 An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022 Answering Queries with Negation over Existential Rules AAAI 2022 Characterizing Idioms: Conventionality and Contingency ACL 2022 Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming IJCAI 2022 Disentangling the Computational Complexity of Network Untangling IJCAI 2022 Efficient Algorithms for General Isotone Optimization AAAI 2022 Efficient Submodular Optimization under Noise: Local Search is Robust NeurIPS 2022 Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022 Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022 Explaining Preferences by Multiple Patterns in Voters’ Behavior IJCAI 2022 Fast Heuristic Detection of Offensive Words in Wordwheel Puzzles AAAI 2022 Finding Dataset Shortcuts with Grammar Induction EMNLP 2022 First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022 Formula Synthesis in Propositional Dynamic Logic with Shuffle AAAI 2022 From Sampling to Optimization on Discrete Domains with Applications to Determinant Maximization COLT 2022 Handling Slice Permutations Variability in Tensor Recovery AAAI 2022 Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract) AAAI 2022 Katra: Realtime Verification for Multilayer Networks NSDI 2022 Learning with Distributional Inverters ALT 2022 Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022