Discrete Mathematics

Algorithmics of Egalitarian versus Equitable Sequences of Committees IJCAI 2023 Approximating CKY with Transformers EMNLP 2023 A Structural Complexity Analysis of Synchronous Dynamical Systems AAAI 2023 Automata Cascades: Expressivity and Sample Complexity AAAI 2023 Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences ICML 2023 Circuit Minimization with QBF-Based Exact Synthesis AAAI 2023 Constraint Optimization over Semirings AAAI 2023 Convergence and Diversity in the Control Hierarchy ACL 2023 Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages EMNLP 2023 Efficient Semiring-Weighted Earley Parsing ACL 2023 Engineering an Efficient Approximate DNF-Counter IJCAI 2023 Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023 Fast Algorithms for SAT with Bounded Occurrences of Variables IJCAI 2023 Fast Converging Anytime Model Counting AAAI 2023 Find a witness or shatter: the landscape of computable PAC learning. COLT 2023 Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023 Generalized Confidence Constraints AAAI 2023 Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) IJCAI 2023 Implementing Bounded Revision via Lexicographic Revision and C-revision AAAI 2023 Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning IJCAI 2023 Learning Preference Models with Sparse Interactions of Criteria IJCAI 2023 Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT AAAI 2023 Linear-Time Modeling of Linguistic Structure: An Order-Theoretic Perspective EMNLP 2023 Matchings under One-Sided Preferences with Soft Quotas IJCAI 2023 Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals AAAI 2023