Foundations
2,177 papers (1 classified directly here)
Subtopics · a paper can sit in several, so these overlap
Papers per year
1
1
1
13
7
16
17
14
29
34
65
54
49
45
81
116
167
207
197
202
208
285
271
97
'5
'10
'15
'20
'25
Papers (including subtopics)
Learning Low Degree Hypergraphs
COLT 2022
Learning To Solve Hard Minimal Problems
CVPR 2022
ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory
OSDI 2022
LMGP: Lifted Multicut Meets Geometry Projections for Multi-Camera Multi-Object Tracking
CVPR 2022
Logical Transductions for the Typology of Ditransitive Prosody
NAACL 2022
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
IJCAI 2022
MaxMatch-Dropout: Subword Regularization for WordPiece
COLING 2022
Maxmin Participatory Budgeting
IJCAI 2022
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime
OSDI 2022
Modification-Fair Cluster Editing
AAAI 2022
Monotone Abstractions in Ontology-Based Data Management
AAAI 2022
New Coresets for Projective Clustering and Applications
AISTATS 2022
New Results in Bounded-Suboptimal Search
AAAI 2022
Non-Gaussian Component Analysis via Lattice Basis Reduction
COLT 2022
Occualizer: Optimistic Concurrent Search Trees From Sequential Code
OSDI 2022
Occupancy-SLAM: Simultaneously Optimizing Robot Poses and Continuous Occupancy Map
RSS 2022
On a Connection Between Fast and Sparse Oblivious Subspace Embeddings
AISTATS 2022
Online Algorithms for the Santa Claus Problem
NeurIPS 2022
Online Facility Location with Predictions
ICLR 2022
Online Page Migration with ML Advice
AISTATS 2022
On Scalable Testing of Samplers
NeurIPS 2022
On the Complexity of Calculating Approval-Based Winners in Candidates-Embedded Metrics
IJCAI 2022
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits
IJCAI 2022
On the Complexity of Inductively Learning Guarded Clauses
AAAI 2022
On the Computation of Necessary and Sufficient Explanations
AAAI 2022