💀 The Wall of Shame

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

Page 24, showing 50 papers

# Paper Cause of Death Category Citations Published
1151 Graphic TSP in cubic graphs
Zdenek Dvorak, Daniel Kral, Bojan Mohar
🔮 The Ethereal cs.DM 8 9 years ago
1152 Nuclei and automorphism groups of generalized twisted Gabidulin codes
Rocco Trombetti, Yue Zhou
🔮 The Ethereal math.CO 8 9 years ago
1153 The connectivity of graphs of graphs with self-loops and a given degree sequence
Joel Nishimura
🔮 The Ethereal math.CO 8 9 years ago
1154 Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Muhammad Usama Sardar, Osman Hasan
🔮 The Ethereal cs.LO 8 9 years ago
1155 Treewidth distance on phylogenetic trees
Steven Kelk, Georgios Stamoulis, Taoyang Wu
🔮 The Ethereal cs.DM 8 9 years ago
1156 An adaptive prefix-assignment technique for symmetry reduction
Tommi Junttila, Matti Karppa, ... (+2 more)
🔮 The Ethereal cs.LO 8 9 years ago
1157 A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over $\mathbb{Z}/p\mathbb{Z}$
Jeremy F. Alm, Andrew Ylvisaker
🔮 The Ethereal math.CO 8 8 years ago
1158 Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
🔮 The Ethereal cs.LO 8 8 years ago
1159 Modular Labelled Sequent Calculi for Abstract Separation Logics
Zhé Hóu, Ranald Clouston, ... (+2 more)
🔮 The Ethereal cs.LO 8 8 years ago
1160 Rapid mixing of Glauber dynamics for colorings below Vigoda's $11/6$ threshold
Michelle Delcourt, Guillem Perarnau, Luke Postle
🔮 The Ethereal cs.DM 8 8 years ago
1161 Uniform Substitution for Differential Game Logic
André Platzer
🔮 The Ethereal cs.LO 8 8 years ago
1162 A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
David Carral, Cristina Feier, Pascal Hitzler
🔮 The Ethereal cs.LO 8 8 years ago
1163 The Computational Complexity of Finding Hamiltonian Cycles in Grid Graphs of Semiregular Tessellations
Kaiying Hou, Jayson Lynch
🔮 The Ethereal cs.CC 8 8 years ago
1164 A Note on Degree vs Gap of Min-Rep Label Cover and Improved Inapproximability for Connectivity Problems
Pasin Manurangsi
🔮 The Ethereal cs.CC 8 8 years ago
1165 On the Computational Complexity of Length- and Neighborhood-Constrained Path Problems
Max-Jonathan Luckow, Till Fluschnik
🔮 The Ethereal cs.CC 8 7 years ago
1166 No lattice tiling of $\mathbb{Z}^n$ by Lee Sphere of radius 2
Ka Hin Leung, Yue Zhou
🔮 The Ethereal math.CO 8 7 years ago
1167 Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
Lucas Cordeiro, Daniel Kroening, Peter Schrammel
🔮 The Ethereal cs.LO 8 7 years ago
1168 Classical Algorithms from Quantum and Arthur-Merlin Communication Protocols
Lijie Chen, Ruosong Wang
🔮 The Ethereal cs.CC 8 7 years ago
1169 Tight Approximation Ratio for Minimum Maximal Matching
Szymon Dudycz, Mateusz Lewandowski, Jan Marcinkowski
🔮 The Ethereal cs.CC 8 7 years ago
1170 Solvability = Typability + Inhabitation
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
🔮 The Ethereal cs.LO 8 7 years ago
1171 Uniform Substitution At One Fell Swoop
André Platzer
🔮 The Ethereal cs.LO 8 7 years ago
1172 Rearrangement operations on unrooted phylogenetic networks
Remie Janssen, Jonathan Klawitter
🔮 The Ethereal math.CO 8 7 years ago
1173 Dynamic Term-Modal Logics for First-Order Epistemic Planning
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
🔮 The Ethereal cs.LO 8 7 years ago
1174 Running Time Analysis of the (1+1)-EA for Robust Linear Optimization
Chao Bian, Chao Qian, ... (+2 more)
🔮 The Ethereal cs.CC 8 7 years ago
1175 Learning with Partially Ordered Representations
Jane Chandlee, Remi Eyraud, ... (+3 more)
🔮 The Ethereal cs.FL 8 7 years ago
1176 SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics
Curtis Bright, Ilias Kotsireas, Vijay Ganesh
🔮 The Ethereal cs.LO 8 7 years ago
1177 Translating between the representations of a ranked convex geometry
Oscar Defrain, Lhouari Nourine, Simon Vilmin
🔮 The Ethereal cs.DM 8 7 years ago
1178 Polyvariant Program Specialisation with Property-based Abstraction
John P. Gallagher
🔮 The Ethereal cs.LO 8 6 years ago
1179 Steepest ascent can be exponential in bounded treewidth problems
David A. Cohen, Martin C. Cooper, ... (+2 more)
🔮 The Ethereal cs.DM 8 6 years ago
1180 Tight Localizations of Feedback Sets
Michael Hecht, Krzysztof Gonciarz, Szabolcs Horvát
🔮 The Ethereal cs.DM 8 6 years ago
1181 Operationally-based Program Equivalence Proofs using LCTRSs
Ştefan Ciobâcă, Dorel Lucanu, Andrei Sebastian Buruiană
🔮 The Ethereal cs.LO 8 6 years ago
1182 Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete
Uli Schlachter, Harro Wimmel
🔮 The Ethereal cs.CC 8 6 years ago
1183 Intersection distribution, non-hitting index and Kakeya sets in affine planes
Shuxing Li, Alexander Pott
🔮 The Ethereal math.CO 8 6 years ago
1184 Flexible placements of graphs with rotational symmetry
Sean Dewar, Georg Grasegger, Jan Legerský
🔮 The Ethereal math.CO 8 6 years ago
1185 On certain linearized polynomials with high degree and kernel of small dimension
Olga Polverino, Giovanni Zini, Ferdinando Zullo
🔮 The Ethereal math.CO 8 6 years ago
1186 An Efficient Floating-Point Bit-Blasting API for Verifying C Programs
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
🔮 The Ethereal cs.LO 8 6 years ago
1187 Helly-gap of a graph and vertex eccentricities
Feodor F. Dragan, Heather M. Guarnera
🔮 The Ethereal cs.DM 8 6 years ago
1188 Local Algebraic Effect Theories
Žiga Lukšič, Matija Pretnar
🔮 The Ethereal cs.LO 8 6 years ago
1189 Book Embeddings of Graph Products
Sergey Pupyrev
🔮 The Ethereal cs.DM 8 5 years ago
1190 Fine-Grained Complexity of Regular Expression Pattern Matching and Membership
Philipp Schepper
🔮 The Ethereal cs.CC 8 5 years ago
1191 Computing the covering radius of a polytope with an application to lonely runners
Jana Cslovjecsek, Romanos Diogenes Malikiosis, ... (+2 more)
🔮 The Ethereal math.CO 8 5 years ago
1192 On the Hardness of Average-case k-SUM
Zvika Brakerski, Noah Stephens-Davidowitz, Vinod Vaikuntanathan
🔮 The Ethereal cs.CC 8 5 years ago
1193 Completely regular codes in Johnson and Grassmann graphs with small covering radii
I. Yu. Mogilnykh
🔮 The Ethereal math.CO 8 5 years ago
1194 Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation
Daniel Schuster, Gero J. Kolhof
🔮 The Ethereal cs.LO 8 5 years ago
1195 Locally checkable problems parameterized by clique-width
Narmina Baghirova, Carolina Lucía Gonzalez, ... (+2 more)
🔮 The Ethereal cs.DM 8 4 years ago
1196 Moser-Tardos Algorithm with small number of random bits
Endre Csóka, Łukasz Grabowski, ... (+3 more)
🔮 The Ethereal math.CO 8 4 years ago
1197 On the $d$-Claw Vertex Deletion Problem
Sun-Yuan Hsieh, Hoang-Oanh Le, ... (+2 more)
🔮 The Ethereal cs.DM 8 4 years ago
1198 A Formal Analysis of the Count-Min Sketch with Conservative Updates
Younes Ben Mazziane, Sara Alouf, Giovanni Neglia
🔮 The Ethereal cs.DM 8 4 years ago
1199 Schwartz-Zippel for multilinear polynomials mod N
Benedikt Bünz, Ben Fisch
🔮 The Ethereal cs.DM 8 4 years ago
1200 List Colouring Trees in Logarithmic Space
Hans L. Bodlaender, Carla Groenland, Hugo Jacob
🔮 The Ethereal cs.DM 8 4 years ago