← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

On Computing Makespan-Optimal Solutions for Generalized Sliding-Tile Puzzles AAAI 2024
Unifying Decision and Function Queries in Stochastic Boolean Satisfiability AAAI 2024
Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024
An Approximate Skolem Function Counter AAAI 2024
A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs IJCAI 2024
A Combinatorial Algorithm for the Semi-Discrete Optimal Transport Problem NIPS 2024
SAT-Based Techniques for Lexicographically Smallest Finite Models AAAI 2024
The Expressive Capacity of State Space Models: A Formal Language Perspective NIPS 2024
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024
Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024
On the Expressivity of Recurrent Neural Cascades AAAI 2024
Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis AAAI 2024
Auditable Algorithms for Approximate Model Counting AAAI 2024
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming AAAI 2024
Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover AAAI 2024
A Novel Skip Orthogonal List for Dynamic Optimal Transport Problem AAAI 2024
Learning from Snapshots of Discrete and Continuous Data Streams NIPS 2024
Low-degree phase transitions for detecting a planted clique in sublinear time COLT 2024
Fair Allocation of Items in Multiple Regions AAAI 2024
Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability IJCAI 2024
Multi-Winner Reconfiguration NIPS 2024
An L* Algorithm for Deterministic Weighted Regular Languages EMNLP 2024
Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint) IJCAI 2024
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024