conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

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

Papers

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020
Rational Closure For All Description Logics (Extended Abstract) IJCAI 2020
Variable Elimination in Binary CSPs (Extended Abstract) IJCAI 2020
Knowing-How under Uncertainty (Extended Abstract) IJCAI 2020
Quadratic Decomposable Submodular Function Minimization: Theory and Practice JMLR 2020
Dual Formulation of the Chordal Graph Conjecture PGM 2020
Poset Representations for Sets of Elementary Triplets PGM 2020
Adaptive Sequence Submodularity NIPS 2019
Fast Parallel Algorithms for Statistical Subset Selection Problems NIPS 2019
Efficiently Learning Fourier Sparse Set Functions NIPS 2019
Approximating the Permanent by Sampling from Adaptive Partitions NIPS 2019
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples AAAI 2019
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019
Constraint-Based Sequential Pattern Mining with Decision Diagrams AAAI 2019
A Recursive Algorithm for Projected Model Counting AAAI 2019
Learning Optimal Classification Trees Using a Binary Linear Program Formulation AAAI 2019
Generalized Distance Bribery AAAI 2019
Low-Distortion Social Welfare Functions AAAI 2019
How Similar Are Two Elections? AAAI 2019
Fairly Allocating Many Goods with Few Queries AAAI 2019
A Framework for Approval-Based Budgeting Methods AAAI 2019
A Better Algorithm for Societal Tradeoffs AAAI 2019
Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019
Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019
Counting Complexity for Reasoning in Abstract Argumentation AAAI 2019