conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

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

Papers

Faster Symmetry Breaking Constraints for Abstract Structures AAAI 2026
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming AAAI 2026
What Voting Rules Actually Do: A Data-Driven Analysis of Multi-Winner Voting AAAI 2026
EFX and PO Allocation Exists for Two Types of Goods AAAI 2026
Cost-Free Neutrality for the River Method AAAI 2026
The River Voting Method AAAI 2026
Identifying Imperfect Clones in Elections AAAI 2026
Exclusion Zones of Instant Runoff Voting AAAI 2026
Private Frequency Estimation via Residue Number Systems AAAI 2026
Higher-Order Responsibility AAAI 2026
Discounted Cuts: A Stackelberg Approach to Network Disruption AAAI 2026
Multiple-Interval Coverage for Resource Management of Passive Surveillance Systems AAAI 2026
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025
Exploiting Symmetries in MUS Computation AAAI 2025
Linear Equations with Min and Max Operators: Computational Complexity AAAI 2025
Proof Simulation via Round-based Strategy Extraction for QBF AAAI 2025
Complete Symmetry Breaking for Finite Models AAAI 2025
Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025
Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking AAAI 2025
Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025
Epistemic EFX Allocations Exist for Monotone Valuations AAAI 2025
Proportional Representation in Practice: Quantifying Proportionality in Ordinal Elections AAAI 2025
The Distortion of Public-Spirited Participatory Budgeting AAAI 2025
Adaptive Manipulation for Coalitions in Knockout Tournaments AAAI 2025
The Complexity of Extending Fair Allocations of Indivisible Goods AAAI 2025