conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

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

Papers

Distances Between Top-Truncated Elections of Different Sizes AAAI 2025
Improved Maximin Share Approximations for Chores by Bin Packing AAAI 2025
Optimal Bounds for Dissatisfaction in Perpetual Voting AAAI 2025
The (Exact) Price of Cardinality for Indivisible Goods: A Parametric Perspective AAAI 2025
Understanding EFX Allocations: Counting and Variants AAAI 2025
An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025
Shield Synthesis for LTL Modulo Theories AAAI 2025
Scenario-Based Robust Optimization of Tree Structures AAAI 2025
Temporal Triadic Closure: Finding Dense Substructures in Social Networks That Evolve over Time AAAI 2025
Suboptimal Search with Dynamic Distribution of Suboptimality AAAI 2025
Anchor Search: A Unified Framework for Suboptimal Bidirectional Search AAAI 2025
EF1 and EFX Orientations IJCAI 2025
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks IJCAI 2025
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems IJCAI 2025
An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025
New Sequence-Independent Lifting Techniques for Cover Inequalities and When They Induce Facets IJCAI 2025
The Proportional Veto Principle for Approval Ballots IJCAI 2025
Finding Possible Winners in Spatial Voting with Incomplete Information IJCAI 2025
On Middle Grounds for Preference Statements IJCAI 2025
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds IJCAI 2025
A Game-Theoretic Perspective on Inconsistency Handling IJCAI 2025