💀 The Wall of Shame

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

Page 21, showing 50 papers

# Paper Cause of Death Category Citations Published
1001 A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL
Carsten Lutz, Leif Sabellek
🔮 The Ethereal cs.CC 10 7 years ago
1002 On the Parallel Reconstruction from Pooled Data
Oliver Gebhard, Max Hahn-Klimroth, ... (+2 more)
🔮 The Ethereal cs.DM 10 7 years ago
1003 Evacuating Two Robots from a Disk: A Second Cut
Yann Disser, Sören Schmitt
🔮 The Ethereal cs.DM 10 7 years ago
1004 Reconfigurable Interaction for MAS Modelling
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
🔮 The Ethereal cs.LO 10 7 years ago
1005 A spectral bound on hypergraph discrepancy
Aditya Potukuchi
🔮 The Ethereal math.CO 10 7 years ago
1006 Complexity of Modification Problems for Reciprocal Best Match Graphs
Marc Hellmuth, Manuela Geiß, Peter F. Stadler
🔮 The Ethereal cs.CC 10 7 years ago
1007 Inconsistency Proofs for ASP: The ASP-DRUPE Format
Mario Alviano, Carmine Dodaro, ... (+4 more)
🔮 The Ethereal cs.LO 10 7 years ago
1008 Compiling With Classical Connectives
Paul Downen, Zena M. Ariola
🔮 The Ethereal cs.LO 10 6 years ago
1009 On the existence of paradoxical motions of generically rigid graphs on the sphere
Matteo Gallet, Georg Grasegger, ... (+2 more)
🔮 The Ethereal math.CO 10 6 years ago
1010 Towards Constraint Logic Programming over Strings for Test Data Generation
Sebastian Krings, Joshua Schmidt, ... (+3 more)
🔮 The Ethereal cs.LO 10 6 years ago
1011 A dynamic epistemic logic analysis of the equality negation task
Eric Goubault, Marijana Lazic, ... (+2 more)
🔮 The Ethereal cs.LO 10 6 years ago
1012 Subspace Packings -- Constructions and Bounds
Tuvi Etzion, Sascha Kurz, ... (+2 more)
🔮 The Ethereal math.CO 10 6 years ago
1013 Whitney Numbers of Combinatorial Geometries and Higher-Weight Dowling Lattices
Alberto Ravagnani
🔮 The Ethereal math.CO 10 6 years ago
1014 Reconstruction of time-consistent species trees
Manuel Lafond, Marc Hellmuth
🔮 The Ethereal cs.DM 10 6 years ago
1015 Controlling a random population
Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann
🔮 The Ethereal cs.FL 10 6 years ago
1016 Verifying Visibility-Based Weak Consistency
Siddharth Krishna, Michael Emmi, ... (+2 more)
🔮 The Ethereal cs.LO 10 6 years ago
1017 A Polynomial Kernel for Paw-Free Editing
Eduard Eiben, William Lochet, Saket Saurabh
🔮 The Ethereal math.CO 10 6 years ago
1018 Hardness of Bounded Distance Decoding on Lattices in $\ell_p$ Norms
Huck Bennett, Chris Peikert
🔮 The Ethereal cs.CC 10 6 years ago
1019 Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfaction
Marvin Künnemann, Dániel Marx
🔮 The Ethereal cs.CC 10 6 years ago
1020 IsarStep: a Benchmark for High-level Mathematical Reasoning
Wenda Li, Lei Yu, ... (+2 more)
🔮 The Ethereal cs.LO 10 6 years ago
1021 Efficient Document Exchange and Error Correcting Codes with Asymmetric Information
Kuan Cheng, Xin Li
🔮 The Ethereal cs.CC 10 6 years ago
1022 Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard
Markus Hecher, Jorge Fandinno
🔮 The Ethereal cs.LO 10 6 years ago
1023 Sequential composition of propositional logic programs
Christian Antic
🔮 The Ethereal cs.LO 10 5 years ago
1024 A Complete Approach to Loop Verification with Invariants and Summaries
Gidon Ernst
🔮 The Ethereal cs.LO 10 5 years ago
1025 On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
Thomas Gogacz, Víctor Gutiérrez-Basulto, ... (+3 more)
🔮 The Ethereal cs.LO 10 5 years ago
1026 A Multistage View on 2-Satisfiability
Till Fluschnik
🔮 The Ethereal cs.CC 10 5 years ago
1027 Quantum Combinatorial Games: Structures and Computational Complexity
Kyle Burke, Matthew Ferland, Shang-Hua Teng
🔮 The Ethereal cs.CC 10 5 years ago
1028 The complexity of bounded context switching with dynamic thread creation
Pascal Baumann, Rupak Majumdar, ... (+2 more)
🔮 The Ethereal cs.FL 10 5 years ago
1029 Linear Hashing with $\ell_\infty$ guarantees and two-sided Kakeya bounds
Manik Dhar, Zeev Dvir
🔮 The Ethereal math.CO 10 4 years ago
1030 Streaming and Sketching Complexity of CSPs: A survey
Madhu Sudan
🔮 The Ethereal cs.CC 10 4 years ago
1031 Polynomial formulations as a barrier for reduction-based hardness proofs
Tatiana Belova, Alexander Golovnev, ... (+3 more)
🔮 The Ethereal cs.CC 10 4 years ago
1032 Superpolynomial Lower Bounds for Decision Tree Learning and Testing
Caleb Koch, Carmen Strassle, Li-Yang Tan
🔮 The Ethereal cs.CC 10 3 years ago
1033 Lattice Problems Beyond Polynomial Time
Divesh Aggarwal, Huck Bennett, ... (+7 more)
🔮 The Ethereal cs.CC 10 3 years ago
1034 Separating MAX 2-AND, MAX DI-CUT and MAX CUT
Joshua Brakensiek, Neng Huang, ... (+2 more)
🔮 The Ethereal cs.CC 10 3 years ago
1035 Solving Projected Model Counting by Utilizing Treewidth and its Limits
Johannes K. Fichte, Markus Hecher, ... (+3 more)
🔮 The Ethereal cs.CC 10 3 years ago
1036 Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
Kevin Batz, Tom Jannik Biskup, ... (+2 more)
🔮 The Ethereal cs.LO 10 2 years ago
1037 Exact ASP Counting with Compact Encodings
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel
🔮 The Ethereal cs.LO 10 2 years ago
1038 On generalized Sidon spaces
Chiara Castello
🔮 The Ethereal math.CO 10 2 years ago
1039 Probabilistically Checkable Reconfiguration Proofs and Inapproximability of Reconfiguration Problems
Shuichi Hirahara, Naoto Ohsaka
🔮 The Ethereal cs.CC 10 2 years ago
1040 Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Alejandro Aguirre, Philipp G. Haselwarter, ... (+5 more)
🔮 The Ethereal cs.LO 10 2 years ago
1041 Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
Ignasi Sau, Giannos Stamoulis, Dimitrios M. Thilikos
🔮 The Ethereal cs.LO 10 2 years ago
1042 Tree Independence Number IV. Even-hole-free Graphs
Maria Chudnovsky, Peter Gartland, ... (+3 more)
🔮 The Ethereal math.CO 10 2 years ago
1043 On the Complexity of Neural Computation in Superposition
Micah Adler, Nir Shavit
🔮 The Ethereal cs.CC 10 1 year ago
1044 Coherent branching feature bisimulation
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
🔮 The Ethereal cs.LO 9 11 years ago
1045 Towards an Algebra for Cascade Effects
Elie M. Adam, Munther A. Dahleh, Asuman Ozdaglar
🔮 The Ethereal cs.DM 9 11 years ago
1046 Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study
Cyprien Mangin, Matthieu Sozeau
🔮 The Ethereal cs.LO 9 10 years ago
1047 Program Analysis with Local Policy Iteration
George Karpenkov, David Monniaux, Philipp Wendler
🔮 The Ethereal cs.LO 9 10 years ago
1048 Fix Your Types
Sol Swords, Jared Davis
🔮 The Ethereal cs.LO 9 10 years ago
1049 On oblivious branching programs with bounded repetition that cannot efficiently compute CNFs of bounded treewidth
Igor Razgon
🔮 The Ethereal cs.CC 9 10 years ago
1050 Range-based argumentation semantics as 2-valued models
Mauricio Osorio, Juan Carlos Nieves
🔮 The Ethereal cs.LO 9 10 years ago