← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Activity Grammars for Temporal Action Segmentation NIPS 2023
Convergence and Diversity in the Control Hierarchy ACL 2023
Approximating CKY with Transformers EMNLP 2023
Circuit Minimization with QBF-Based Exact Synthesis AAAI 2023
Untangled: A Complete Dynamic Topological Logic AAAI 2023
Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages EMNLP 2023
Automata Cascades: Expressivity and Sample Complexity AAAI 2023
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023
Linear-Time Modeling of Linguistic Structure: An Order-Theoretic Perspective EMNLP 2023
Generalized Confidence Constraints AAAI 2023
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals AAAI 2023
Fast Converging Anytime Model Counting AAAI 2023
Synchronization and Diversity of Solutions AAAI 2023
SMT Safety Verification of Ontology-Based Processes AAAI 2023
Learning Preference Models with Sparse Interactions of Criteria IJCAI 2023
On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) IJCAI 2023
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) IJCAI 2023
Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences ICML 2023
Shhh! The Logic of Clandestine Operations IJCAI 2023
Implementing Bounded Revision via Lexicographic Revision and C-revision AAAI 2023
Not all Strongly Rayleigh Distributions Have Small Probabilistic Generating Circuits ICML 2023
Tricking the Hashing Trick: A Tight Lower Bound on the Robustness of CountSketch to Adaptive Inputs AAAI 2023
Ordinal Maximin Share Approximation for Goods (Extended Abstract) IJCAI 2023