conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

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

Papers

Handling Slice Permutations Variability in Tensor Recovery AAAI 2022
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022
The Triangle-Densest-K-Subgraph Problem: Hardness, Lovász Extension, and Application to Document Summarization AAAI 2022
Locally Fair Partitioning AAAI 2022
Liquid Democracy with Ranked Delegations AAAI 2022
On the Complexity of Inductively Learning Guarded Clauses AAAI 2022
Answering Queries with Negation over Existential Rules AAAI 2022
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022
First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022
Efficient Algorithms for General Isotone Optimization AAAI 2022
Practical Fixed-Parameter Algorithms for Defending Active Directory Style Attack Graphs AAAI 2022
Formula Synthesis in Propositional Dynamic Logic with Shuffle AAAI 2022
An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs AAAI 2022
Search Strategies for Topological Network Optimization AAAI 2022
A Fast Local Search Algorithm for the Latin Square Completion Problem AAAI 2022
Sparsification of Decomposable Submodular Functions AAAI 2022
Fast Heuristic Detection of Offensive Words in Wordwheel Puzzles AAAI 2022
Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract) AAAI 2022
Modeling Abstract Algebra as an OWL Ontology (Student Abstract) AAAI 2022
Characterizing Idioms: Conventionality and Contingency ACL 2022
Learning with Distributional Inverters ALT 2022
From Sampling to Optimization on Discrete Domains with Applications to Determinant Maximization COLT 2022