conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

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

Papers

Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences ICML 2023
A Fast Algorithm for Consistency Checking Partially Ordered Time IJCAI 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
Fast Algorithms for SAT with Bounded Occurrences of Variables IJCAI 2023
Engineering an Efficient Approximate DNF-Counter IJCAI 2023
Targeting Minimal Rare Itemsets from Transaction Databases IJCAI 2023
Measuring a Priori Voting Power in Liquid Democracy IJCAI 2023
Algorithmics of Egalitarian versus Equitable Sequences of Committees IJCAI 2023
On Lower Bounds for Maximin Share Guarantees IJCAI 2023
Ties in Multiwinner Approval Voting IJCAI 2023
Matchings under One-Sided Preferences with Soft Quotas IJCAI 2023
Random Assignment of Indivisible Goods under Constraints IJCAI 2023
Participatory Budgeting with Multiple Degrees of Projects and Ranged Approval Votes IJCAI 2023
Ordinal Hedonic Seat Arrangement under Restricted Preference Domains: Swap Stability and Popularity IJCAI 2023
Shhh! The Logic of Clandestine Operations IJCAI 2023
On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023
Learning Preference Models with Sparse Interactions of Criteria IJCAI 2023
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) IJCAI 2023
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract) IJCAI 2023
Ordinal Maximin Share Approximation for Goods (Extended Abstract) IJCAI 2023
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results JMLR 2023
Resolving the data ambiguity for periodic crystals NIPS 2022
Efficient Submodular Optimization under Noise: Local Search is Robust NIPS 2022
The Query Complexity of Cake Cutting NIPS 2022