conftrace_
← Computer Science
Computer Science ›

Foundations

1,623 papers (0 classified directly here)

Subtopics

Algorithms (1,298) Graph Theory (190) Formal Languages (113) Programming Languages (46) Data Structures (39)

Papers per year

1
7
34
188
122
'05
'10
'15
'20
'25

Papers (including subtopics)

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
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022
Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022
Beyond GNNs: An Efficient Architecture for Graph Problems AAAI 2022
Scaling Neural Program Synthesis with Distribution-Based Search AAAI 2022
Modification-Fair Cluster Editing AAAI 2022
TIGGER: Scalable Generative Modelling for Temporal Interaction Graphs AAAI 2022
Graph Convolutional Networks with Dual Message Passing for Subgraph Isomorphism Counting and Matching AAAI 2022
fGOT: Graph Distances Based on Filters and Optimal Transport AAAI 2022
Learning-Augmented Algorithms for Online Steiner Tree AAAI 2022
Anytime Multi-Agent Path Finding via Machine Learning-Guided Large Neighborhood Search AAAI 2022
Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022
Robustification of Online Graph Exploration Methods AAAI 2022
Reconfiguring Shortest Paths in Graphs AAAI 2022
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping AAAI 2022
Efficient Encoding of Cost Optimal Delete-Free Planning as SAT AAAI 2022
Generalized Stochastic Matching AAAI 2022
Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022
A*+BFHS: A Hybrid Heuristic Search Algorithm AAAI 2022
New Results in Bounded-Suboptimal Search AAAI 2022
An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs AAAI 2022