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)

Learning Broadcast Protocols AAAI 2024
Learning Small Decision Trees with Few Outliers: A Parameterized Perspective AAAI 2024
Universal Weak Coreset AAAI 2024
Friendly Attacks to Improve Channel Coding Reliability AAAI 2024
Hypergraph Neural Architecture Search AAAI 2024
Union Subgraph Neural Networks AAAI 2024
Improved Anonymous Multi-Agent Path Finding Algorithm AAAI 2024
Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024
The Complexity of Optimizing Atomic Congestion AAAI 2024
Approximate Distance Oracle for Fault-Tolerant Geometric Spanners AAAI 2024
Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting AAAI 2024
PRP Rebooted: Advancing the State of the Art in FOND Planning AAAI 2024
Model Counting and Sampling via Semiring Extensions AAAI 2024
Identification for Tree-Shaped Structural Causal Models in Polynomial Time AAAI 2024
Colour Passing Revisited: Lifted Model Construction with Commutative Factors AAAI 2024
A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the Same Skeleton AAAI 2024
Delegation-Relegation for Boolean Matrix Factorization AAAI 2024
Parameterized Approximation Algorithms for Sum of Radii Clustering and Variants AAAI 2024
Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover AAAI 2024
Rectangle Search: An Anytime Beam Search AAAI 2024
A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem AAAI 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024
Pass-Efficient Algorithms for Graph Spectral Clustering (Student Abstract) AAAI 2024