💀 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 Computing Maximum Matchings in Temporal Graphs
George B. Mertzios, Hendrik Molter, ... (+3 more)
🔮 The Ethereal cs.DM 49 7 years ago
152 Coding for Sunflowers
Anup Rao
🔮 The Ethereal math.CO 49 6 years ago
153 Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Alois Brunel, Damiano Mazza, Michele Pagani
🔮 The Ethereal cs.LO 49 6 years ago
154 Grid Induced Minor Theorem for Graphs of Small Degree
Tuukka Korhonen
🔮 The Ethereal math.CO 49 4 years ago
155 Coset Construction for Subspace Codes
Daniel Heinlein, Sascha Kurz
🔮 The Ethereal math.CO 48 10 years ago
156 Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms
Arturs Backurs, Christos Tzamos
🔮 The Ethereal cs.CC 48 10 years ago
157 Optimal lower bounds for universal relation, and for samplers and finding duplicates in streams
Michael Kapralov, Jelani Nelson, ... (+4 more)
🔮 The Ethereal cs.CC 48 9 years ago
158 Weakly Submodular Maximization Beyond Cardinality Constraints: Does Randomization Help Greedy?
Lin Chen, Moran Feldman, Amin Karbasi
🔮 The Ethereal cs.DM 48 9 years ago
159 Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
André Platzer, Yong Kiam Tan
🔮 The Ethereal cs.LO 48 8 years ago
160 Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Steffen Smolka, Nate Foster, ... (+4 more)
🔮 The Ethereal cs.LO 48 7 years ago
161 A Uniform Substitution Calculus for Differential Dynamic Logic
André Platzer
🔮 The Ethereal cs.LO 47 11 years ago
162 Isomorphism Testing for Graphs of Bounded Rank Width
Martin Grohe, Pascal Schweitzer
🔮 The Ethereal cs.DM 47 11 years ago
163 Sliding Window Temporal Graph Coloring
George B. Mertzios, Hendrik Molter, Viktor Zamaraev
🔮 The Ethereal cs.DM 47 7 years ago
164 Answer Set Solving with Bounded Treewidth Revisited
Johannes Fichte, Markus Hecher, ... (+2 more)
🔮 The Ethereal cs.LO 46 9 years ago
165 Interacting Conceptual Spaces I : Grammatical Composition of Concepts
Joe Bolt, Bob Coecke, ... (+4 more)
🔮 The Ethereal cs.LO 46 9 years ago
166 Finding Cliques in Social Networks: A New Distribution-Free Model
Jacob Fox, Tim Roughgarden, ... (+3 more)
🔮 The Ethereal math.CO 46 8 years ago
167 A 1.5-Approximation for Path TSP
Rico Zenklusen
🔮 The Ethereal cs.DM 46 8 years ago
168 A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
Ruggero Lanotte, Massimo Merro, ... (+2 more)
🔮 The Ethereal cs.LO 46 7 years ago
169 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 7 years ago
170 Connections between scattered linear sets and MRD-codes
Olga Polverino, Ferdinando Zullo
🔮 The Ethereal math.CO 46 6 years ago
171 Justifications for Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, ... (+2 more)
🔮 The Ethereal cs.LO 46 5 years ago
172 Reachability is in DynFO
Samir Datta, Raghav Kulkarni, ... (+3 more)
🔮 The Ethereal cs.LO 45 11 years ago
173 Pseudodeterministic Constructions in Subexponential Time
Igor C. Oliveira, Rahul Santhanam
🔮 The Ethereal cs.CC 45 9 years ago
174 Real-time Stream-based Monitoring
Peter Faymonville, Bernd Finkbeiner, ... (+2 more)
🔮 The Ethereal cs.LO 45 8 years ago
175 More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture
Amir Abboud, Karl Bringmann, ... (+2 more)
🔮 The Ethereal cs.CC 45 8 years ago
176 An Algorithmic Blend of LPs and Ring Equations for Promise CSPs
Joshua Brakensiek, Venkatesan Guruswami
🔮 The Ethereal cs.CC 45 8 years ago
177 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
178 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
179 Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
Mingyu Cai, Shaoping Xiao, ... (+3 more)
🔮 The Ethereal cs.FL 45 5 years ago
180 A Reconfigurations Analogue of Brooks' Theorem and its Consequences
Carl Feghali, Matthew Johnson, Daniël Paulusma
🔮 The Ethereal cs.CC 44 11 years ago
181 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
182 Explicit resilient functions matching Ajtai-Linial
Raghu Meka
🔮 The Ethereal cs.CC 44 10 years ago
183 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
184 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
185 The Complexity of Splitting Necklaces and Bisecting Ham Sandwiches
Aris Filos-Ratsikas, Paul W. Goldberg
🔮 The Ethereal cs.CC 44 8 years ago
186 List Decoding with Double Samplers
Irit Dinur, Prahladh Harsha, ... (+3 more)
🔮 The Ethereal cs.CC 44 7 years ago
187 Limits on the Universal Method for Matrix Multiplication
Josh Alman
🔮 The Ethereal cs.CC 44 7 years ago
188 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
189 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 9 years ago
190 On the metric dimension of Cartesian powers of a graph
Zilin Jiang, Nikita Polyanskii
🔮 The Ethereal math.CO 43 8 years ago
191 Approximation Algorithms for Graph Burning
Anthony Bonato, Shahin Kamali
🔮 The Ethereal math.CO 43 7 years ago
192 Querying a Matrix through Matrix-Vector Products
Xiaoming Sun, David P. Woodruff, ... (+2 more)
🔮 The Ethereal cs.CC 43 7 years ago
193 Reducing Path TSP to TSP
Vera Traub, Jens Vygen, Rico Zenklusen
🔮 The Ethereal cs.DM 43 6 years ago
194 Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Noam Zilberstein, Derek Dreyer, Alexandra Silva
🔮 The Ethereal cs.LO 43 3 years ago
195 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
196 Reconfiguration on sparse graphs
Daniel Lokshtanov, Amer E. Mouawad, ... (+3 more)
🔮 The Ethereal cs.CC 42 11 years ago
197 On Automated Lemma Generation for Separation Logic with Inductive Definitions
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
🔮 The Ethereal cs.LO 42 11 years ago
198 The First-Order Logic of Hyperproperties
Bernd Finkbeiner, Martin Zimmermann
🔮 The Ethereal cs.LO 42 9 years ago
199 On the Quantitative Hardness of CVP
Huck Bennett, Alexander Golovnev, Noah Stephens-Davidowitz
🔮 The Ethereal cs.CC 42 9 years ago
200 Asymptotic bounds for the sizes of constant dimension codes and an improved lower bound
Daniel Heinlein, Sascha Kurz
🔮 The Ethereal math.CO 42 9 years ago