conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

1
1
10
55
42
'05
'10
'15
'20
'25

Papers

Comparing Ways of Obtaining Candidate Orderings from Approval Ballots IJCAI 2024
General Epistemic Abstract Argumentation Framework: Semantics and Complexity IJCAI 2024
Compilation and Fast Model Counting beyond CNF IJCAI 2024
Extremal Separation Problems for Temporal Instance Queries IJCAI 2024
The Transformation Logics IJCAI 2024
Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics IJCAI 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Musical Phrase Segmentation via Grammatical Induction IJCAI 2024
Guide to Numerical Experiments on Elections in Computational Social Choice IJCAI 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
On the Complexity of Finding Set Repairs for Data-Graphs (Abstract Reprint) IJCAI 2024
Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint) IJCAI 2024
Memory-Efficient Sequential Pattern Mining with Hybrid Tries JMLR 2024
EPVerifier: Accelerating Update Storms Verification with Edge-Predicate NSDI 2024
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024
$\varepsilon$-fractional core stability in Hedonic Games. NIPS 2023
Activity Grammars for Temporal Action Segmentation NIPS 2023
Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT AAAI 2023
SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023
A Framework to Design Approximation Algorithms for Finding Diverse Solutions in Combinatorial Problems AAAI 2023
Fast Converging Anytime Model Counting AAAI 2023
Constraint Optimization over Semirings AAAI 2023
Generalized Confidence Constraints AAAI 2023
Circuit Minimization with QBF-Based Exact Synthesis AAAI 2023
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023