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)

Delete- and Ordering-Relaxation Heuristics for HTN Planning IJCAI 2020
Iterative-Deepening Conflict-Based Search IJCAI 2020
Euclidean Pathfinding with Compressed Path Databases IJCAI 2020
Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound IJCAI 2020
Variable Elimination in Binary CSPs (Extended Abstract) IJCAI 2020
The Computational Complexity of Angry Birds (Extended Abstract) IJCAI 2020
Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract) IJCAI 2020
TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020
Rescore in a Flash: Compact, Cache Efficient Hashing Data Structures for n-Gram Language Models INTERSPEECH 2020
Generalized Nonbacktracking Bounds on the Influence JMLR 2020
Optimal Algorithms for Continuous Non-monotone Submodular and DR-Submodular Maximization JMLR 2020
Spectral Algorithms for Community Detection in Directed Networks JMLR 2020
Scikit-network: Graph Analysis in Python JMLR 2020
A determinantal point process for column subset selection JMLR 2020
Mining Topological Structure in Graphs through Forest Representations JMLR 2020
Tiramisu: Fast Multilayer Network Verification NSDI 2020
Diamond-Miner: Comprehensive Discovery of the Internet's Topology Diamonds NSDI 2020
Batchy: Batch-scheduling Data Flow Graphs with Service-level Objectives NSDI 2020
VMscatter: A Versatile MIMO Backscatter NSDI 2020
Plankton: Scalable network configuration verification through model checking NSDI 2020
RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020
Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020
Microsecond Consensus for Microsecond Applications OSDI 2020
Byzantine Ordered Consensus without Byzantine Oligarchy OSDI 2020
Testing Database Engines via Pivoted Query Synthesis OSDI 2020