conftrace_
← Foundations
Computer Science › Foundations ›

Algorithms

1,298 papers

Papers per year

1
6
27
149
97
'05
'10
'15
'20
'25

Papers

Self-Explaining Deviations for Coordination NIPS 2022
Graph Reordering for Cache-Efficient Near Neighbor Search NIPS 2022
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation AAAI 2022
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022
Faster Algorithms for Weak Backdoors AAAI 2022
Computing Diverse Shortest Paths Efficiently: A Theoretical and Experimental Study AAAI 2022
Using MaxSAT for Efficient Explanations of Tree Ensembles AAAI 2022
Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022
The SoftCumulative Constraint with Quadratic Penalty AAAI 2022
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022
Two Compacted Models for Efficient Model-Based Diagnosis AAAI 2022
TAG: Learning Timed Automata from Logs AAAI 2022
Fair and Truthful Giveaway Lotteries AAAI 2022
Pizza Sharing Is PPA-Hard AAAI 2022
The Complexity of Subelection Isomorphism Problems AAAI 2022
Hedonic Diversity Games: A Complexity Picture with More than Two Colors AAAI 2022
Secretary Matching with Vertex Arrivals and No Rejections AAAI 2022
Team Correlated Equilibria in Zero-Sum Extensive-Form Games via Tree Decompositions AAAI 2022
ASP-Based Declarative Process Mining AAAI 2022
Monotone Abstractions in Ontology-Based Data Management AAAI 2022
On the Computation of Necessary and Sufficient Explanations AAAI 2022
On the Complexity of Inductively Learning Guarded Clauses AAAI 2022
Large-Neighbourhood Search for Optimisation in Answer-Set Solving AAAI 2022
Tractable Explanations for d-DNNF Classifiers AAAI 2022
Compilation of Aggregates in ASP Systems AAAI 2022