← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint) IJCAI 2024
Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability IJCAI 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024
SAT-Based Techniques for Lexicographically Smallest Finite Models AAAI 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024
Disjoint Partial Enumeration without Blocking Clauses AAAI 2024
The Expressive Capacity of State Space Models: A Formal Language Perspective NIPS 2024
Replicability in Learning: Geometric Partitions and KKM-Sperner Lemma NIPS 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024
General Epistemic Abstract Argumentation Framework: Semantics and Complexity IJCAI 2024
Unifying Decision and Function Queries in Stochastic Boolean Satisfiability AAAI 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
Engineering an Efficient Approximate DNF-Counter IJCAI 2023
Fast Algorithms for SAT with Bounded Occurrences of Variables IJCAI 2023
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results JMLR 2023
A Fast Algorithm for Consistency Checking Partially Ordered Time IJCAI 2023
Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT AAAI 2023
Model-Checking for Ability-Based Logics with Constrained Plans AAAI 2023
Tricking the Hashing Trick: A Tight Lower Bound on the Robustness of CountSketch to Adaptive Inputs AAAI 2023
Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning IJCAI 2023
Solving the Identifying Code Set Problem with Grouped Independent Support IJCAI 2023
Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023
A Structural Complexity Analysis of Synchronous Dynamical Systems AAAI 2023
Agnostic PAC Learning of $k$-juntas Using $L_2$-Polynomial Regression AISTATS 2023