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)

BernNet: Learning Arbitrary Graph Spectral Filters via Bernstein Approximation NIPS 2021
Neural Circuit Synthesis from Specification Patterns NIPS 2021
A Faster Maximum Cardinality Matching Algorithm with Applications in Machine Learning NIPS 2021
Decoupling the Depth and Scope of Graph Neural Networks NIPS 2021
Improved Coresets and Sublinear Algorithms for Power Means in Euclidean Spaces NIPS 2021
Efficient and Local Parallel Random Walks NIPS 2021
A Bi-Level Framework for Learning to Solve Combinatorial Optimization on Graphs NIPS 2021
Fair Scheduling for Time-dependent Resources NIPS 2021
NN-Baker: A Neural-network Infused Algorithmic Framework for Optimization Problems on Geometric Intersection Graphs NIPS 2021
Active Learning of Convex Halfspaces on Graphs NIPS 2021
Optimal Sketching for Trace Estimation NIPS 2021
Learning to Schedule Heuristics in Branch and Bound NIPS 2021
Reusing Combinatorial Structure: Faster Iterative Projections over Submodular Base Polytopes NIPS 2021
Neural Trees for Learning on Graphs NIPS 2021
MagNet: A Neural Network for Directed Graphs NIPS 2021
Bringing UMAP Closer to the Speed of Light with GPU Acceleration AAAI 2021
IA-GM: A Deep Bidirectional Learning Method for Graph Matching AAAI 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
Optimising Automatic Calibration of Electric Muscle Stimulation AAAI 2021
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021
On Continuous Local BDD-Based Search for Hybrid SAT Solving AAAI 2021
The Power of Literal Equivalence in Model Counting AAAI 2021
Parallel Constraint Acquisition AAAI 2021
Towards More Practical and Efficient Automatic Dominance Breaking AAAI 2021