← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Automata Cascades: Expressivity and Sample Complexity AAAI 2023
On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023
Untangled: A Complete Dynamic Topological Logic AAAI 2023
On Lower Bounds for Maximin Share Guarantees IJCAI 2023
Ordinal Maximin Share Approximation for Goods (Extended Abstract) IJCAI 2023
Algorithmics of Egalitarian versus Equitable Sequences of Committees IJCAI 2023
Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences ICML 2023
Model-Checking for Ability-Based Logics with Constrained Plans AAAI 2023
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) IJCAI 2023
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) IJCAI 2023
Not all Strongly Rayleigh Distributions Have Small Probabilistic Generating Circuits ICML 2023
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023
Tournament Fixing Parameterized by Feedback Vertex Set Number Is FPT AAAI 2023
Circuit Minimization with QBF-Based Exact Synthesis AAAI 2023
Activity Grammars for Temporal Action Segmentation NIPS 2023
Learning Preference Models with Sparse Interactions of Criteria IJCAI 2023
Fast Converging Anytime Model Counting AAAI 2023
Constraint Optimization over Semirings AAAI 2023
The Influence of Dimensions on the Complexity of Computing Decision Trees AAAI 2023
The Triangle-Densest-K-Subgraph Problem: Hardness, Lovász Extension, and Application to Document Summarization AAAI 2022
Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming IJCAI 2022
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022
LTL on Weighted Finite Traces: Formal Foundations and Algorithms IJCAI 2022
Disentangling the Computational Complexity of Network Untangling IJCAI 2022
An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022