💀 The Wall of Shame

The most cited papers with no code. Sorted by the weight of their sins.

Page 4, showing 50 papers

# Paper Cause of Death Category Citations Published
151 Graph pattern detection: Hardness for all induced patterns and faster non-induced cycles
Mina Dalirrooyfard, Thuy Duong Vuong, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 46 6 years ago
152 Connections between scattered linear sets and MRD-codes
Olga Polverino, Ferdinando Zullo
🔮 The Ethereal math.CO 46 6 years ago
153 Justifications for Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, ... (+2 more)
🔮 The Ethereal cs.LO 46 5 years ago
154 Reachability is in DynFO
Samir Datta, Raghav Kulkarni, ... (+3 more)
🔮 The Ethereal cs.LO 45 11 years ago
155 Pseudodeterministic Constructions in Subexponential Time
Igor C. Oliveira, Rahul Santhanam
🔮 The Ethereal cs.CC 45 9 years ago
156 Real-time Stream-based Monitoring
Peter Faymonville, Bernd Finkbeiner, ... (+2 more)
🔮 The Ethereal cs.LO 45 8 years ago
157 More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture
Amir Abboud, Karl Bringmann, ... (+2 more)
🔮 The Ethereal cs.CC 45 7 years ago
158 An Algorithmic Blend of LPs and Ring Equations for Promise CSPs
Joshua Brakensiek, Venkatesan Guruswami
🔮 The Ethereal cs.CC 45 7 years ago
159 A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
🔮 The Ethereal cs.LO 45 7 years ago
160 Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
Meghyn Bienvenu, Camille Bourgaux
🔮 The Ethereal cs.LO 45 6 years ago
161 Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
Mingyu Cai, Shaoping Xiao, ... (+3 more)
🔮 The Ethereal cs.FL 45 5 years ago
162 A Reconfigurations Analogue of Brooks' Theorem and its Consequences
Carl Feghali, Matthew Johnson, Daniël Paulusma
🔮 The Ethereal cs.CC 44 11 years ago
163 Exact sampling of graphs with prescribed degree correlations
Kevin E. Bassler, Charo I. Del Genio, ... (+3 more)
🔮 The Ethereal cs.DM 44 11 years ago
164 Explicit resilient functions matching Ajtai-Linial
Raghu Meka
🔮 The Ethereal cs.CC 44 10 years ago
165 Number of fixed points and disjoint cycles in monotone Boolean networks
Julio Aracena, Adrien Richard, Lilian Salinas
🔮 The Ethereal math.CO 44 10 years ago
166 Systematic and Deterministic Graph-Minor Embedding for Cartesian Products of Graphs
Arman Zaribafiyan, Dominic J. J. Marchand, Seyed Saeed Changiz Rezaei
🔮 The Ethereal cs.DM 44 10 years ago
167 The Complexity of Splitting Necklaces and Bisecting Ham Sandwiches
Aris Filos-Ratsikas, Paul W. Goldberg
🔮 The Ethereal cs.CC 44 7 years ago
168 List Decoding with Double Samplers
Irit Dinur, Prahladh Harsha, ... (+3 more)
🔮 The Ethereal cs.CC 44 7 years ago
169 Limits on the Universal Method for Matrix Multiplication
Josh Alman
🔮 The Ethereal cs.CC 44 7 years ago
170 Tight Running Time Lower Bounds for Strong Inapproximability of Maximum $k$-Coverage, Unique Set Cover and Related Problems (via $t$-Wise Agreement Testing Theorem)
Pasin Manurangsi
🔮 The Ethereal cs.CC 44 6 years ago
171 On the Fine-Grained Complexity of Empirical Risk Minimization: Kernel Methods and Neural Networks
Arturs Backurs, Piotr Indyk, Ludwig Schmidt
🔮 The Ethereal cs.CC 43 8 years ago
172 On the metric dimension of Cartesian powers of a graph
Zilin Jiang, Nikita Polyanskii
🔮 The Ethereal math.CO 43 8 years ago
173 Approximation Algorithms for Graph Burning
Anthony Bonato, Shahin Kamali
🔮 The Ethereal math.CO 43 7 years ago
174 Querying a Matrix through Matrix-Vector Products
Xiaoming Sun, David P. Woodruff, ... (+2 more)
🔮 The Ethereal cs.CC 43 6 years ago
175 Reducing Path TSP to TSP
Vera Traub, Jens Vygen, Rico Zenklusen
🔮 The Ethereal cs.DM 43 6 years ago
176 Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Noam Zilberstein, Derek Dreyer, Alexandra Silva
🔮 The Ethereal cs.LO 43 3 years ago
177 Quadratic-Time Hardness of LCS and other Sequence Similarity Measures
Amir Abboud, Arturs Backurs, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 42 11 years ago
178 Reconfiguration on sparse graphs
Daniel Lokshtanov, Amer E. Mouawad, ... (+3 more)
🔮 The Ethereal cs.CC 42 11 years ago
179 On Automated Lemma Generation for Separation Logic with Inductive Definitions
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
🔮 The Ethereal cs.LO 42 10 years ago
180 The First-Order Logic of Hyperproperties
Bernd Finkbeiner, Martin Zimmermann
🔮 The Ethereal cs.LO 42 9 years ago
181 On the Quantitative Hardness of CVP
Huck Bennett, Alexander Golovnev, Noah Stephens-Davidowitz
🔮 The Ethereal cs.CC 42 8 years ago
182 Asymptotic bounds for the sizes of constant dimension codes and an improved lower bound
Daniel Heinlein, Sascha Kurz
🔮 The Ethereal math.CO 42 8 years ago
183 Further limitations of the known approaches for matrix multiplication
Josh Alman, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 42 8 years ago
184 Tighter Connections Between Formula-SAT and Shaving Logs
Amir Abboud, Karl Bringmann
🔮 The Ethereal cs.CC 42 7 years ago
185 On the minimum weights of binary linear complementary dual codes
Makoto Araya, Masaaki Harada
🔮 The Ethereal math.CO 42 7 years ago
186 Polynomial Invariant Generation for Non-deterministic Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
🔮 The Ethereal cs.LO 42 7 years ago
187 The Average-Case Complexity of Counting Cliques in Erdos-Renyi Hypergraphs
Enric Boix-Adserà, Matthew Brennan, Guy Bresler
🔮 The Ethereal cs.CC 42 7 years ago
188 The Approximation Ratio of the 2-Opt Heuristic for the Metric Traveling Salesman Problem
Stefan Hougardy, Fabian Zaiser, Xianghui Zhong
🔮 The Ethereal cs.DM 42 6 years ago
189 Algorithms and Barriers in the Symmetric Binary Perceptron Model
David Gamarnik, Eren C. Kızıldağ, ... (+2 more)
🔮 The Ethereal cs.CC 42 4 years ago
190 Guarded Cubical Type Theory: Path Equality for Guarded Recursion
Lars Birkedal, Aleš Bizjak, ... (+4 more)
🔮 The Ethereal cs.LO 41 9 years ago
191 Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Quang-Trung Ta, Ton Chanh Le, ... (+2 more)
🔮 The Ethereal cs.LO 41 8 years ago
192 Fine-Grained Complexity of Analyzing Compressed Data: Quantifying Improvements over Decompress-And-Solve
Amir Abboud, Arturs Backurs, ... (+2 more)
🔮 The Ethereal cs.CC 41 8 years ago
193 Forman-Ricci Curvature for Hypergraphs
Wilmer Leal, Guillermo Restrepo, ... (+2 more)
🔮 The Ethereal cs.DM 41 7 years ago
194 How Hard Is Robust Mean Estimation?
Samuel B. Hopkins, Jerry Li
🔮 The Ethereal cs.CC 41 7 years ago
195 Incidence Geometries and the Pass Complexity of Semi-Streaming Set Cover
Amit Chakrabarti, Anthony Wirth
🔮 The Ethereal cs.CC 40 10 years ago
196 Uniform generation of random regular graphs
Pu Gao, Nicholas Wormald
🔮 The Ethereal math.CO 40 10 years ago
197 A program logic for union bounds
Gilles Barthe, Marco Gaboardi, ... (+3 more)
🔮 The Ethereal cs.LO 40 10 years ago
198 Automated Mutual Explicit Induction Proof in Separation Logic
Quang-Trung Ta, Ton Chanh Le, ... (+2 more)
🔮 The Ethereal cs.LO 40 9 years ago
199 Verifying Equivalence of Database-Driven Applications
Yuepeng Wang, Isil Dillig, ... (+2 more)
🔮 The Ethereal cs.LO 40 8 years ago
200 Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
Siddharth Krishna, Dennis Shasha, Thomas Wies
🔮 The Ethereal cs.LO 40 8 years ago