💀 The Wall of Shame

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

Page 14, showing 50 papers

# Paper Cause of Death Category Citations Published
651 Equivalences between triangle and range query problems
Lech Duraj, Krzysztof Kleiner, ... (+2 more)
🔮 The Ethereal cs.CC 16 6 years ago
652 Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Andreas Abel, Thierry Coquand
🔮 The Ethereal cs.LO 16 6 years ago
653 Multistage s-t Path: Confronting Similarity with Dissimilarity
Till Fluschnik, Rolf Niedermeier, ... (+2 more)
🔮 The Ethereal cs.CC 16 6 years ago
654 Counterexamples to the Low-Degree Conjecture
Justin Holmgren, Alexander S. Wein
🔮 The Ethereal cs.CC 16 6 years ago
655 Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
Hubie Chen, Georg Gottlob, ... (+2 more)
🔮 The Ethereal cs.CC 16 5 years ago
656 Equilibria for Games with Combined Qualitative and Quantitative Objectives
Julian Gutierrez, Aniello Murano, ... (+4 more)
🔮 The Ethereal cs.LO 16 5 years ago
657 A construction of minimal linear codes from partial difference sets
Ran Tao, Tao Feng, Weicong Li
🔮 The Ethereal math.CO 16 5 years ago
658 Impossibility Results for Grammar-Compressed Linear Algebra
Amir Abboud, Arturs Backurs, ... (+2 more)
🔮 The Ethereal cs.CC 16 5 years ago
659 Tight Dynamic Problem Lower Bounds from Generalized BMM and OMv
Ce Jin, Yinzhan Xu
🔮 The Ethereal cs.CC 16 4 years ago
660 Which arithmetic operations can be performed in constant time in the RAM model with addition?
Étienne Grandjean, Louis Jachiet
🔮 The Ethereal cs.CC 16 3 years ago
661 Finding Matching Cuts in $H$-Free Graphs
Felicia Lucke, Daniël Paulusma, Bernard Ries
🔮 The Ethereal math.CO 16 3 years ago
662 Is Planted Coloring Easier than Planted Clique?
Pravesh K. Kothari, Santosh S. Vempala, ... (+2 more)
🔮 The Ethereal cs.CC 16 3 years ago
663 Constructions and equivalence of Sidon spaces
Chiara Castello, Olga Polverino, ... (+2 more)
🔮 The Ethereal math.CO 16 3 years ago
664 Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Noam Zilberstein, Angelina Saliling, Alexandra Silva
🔮 The Ethereal cs.LO 16 2 years ago
665 Computing maximal autarkies with few and simple oracle queries
Oliver Kullmann, Joao Marques-Silva
🔮 The Ethereal cs.LO 15 10 years ago
666 Perfect codes in the lp metric
Antonio Campello, Grasiele C. Jorge, ... (+2 more)
🔮 The Ethereal math.CO 15 10 years ago
667 Almost Optimal Cover-Free Families
Nader H. Bshouty, Ariel Gabizon
🔮 The Ethereal cs.DM 15 10 years ago
668 Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Stefan Borgwardt, Theofilos Mailis, ... (+2 more)
🔮 The Ethereal cs.LO 15 10 years ago
669 Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)
Felipe R. M. Sousa, Lucas C. Cordeiro, Eddie B. de Lima Filho
🔮 The Ethereal cs.LO 15 10 years ago
670 Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
Colin Defant
🔮 The Ethereal math.CO 15 10 years ago
671 Fast Algorithms for Finding Pattern Avoiders and Counting Pattern Occurrences in Permutations
William Kuszmaul
🔮 The Ethereal cs.DM 15 10 years ago
672 Low Rank Approximation of Binary Matrices: Column Subset Selection and Generalizations
Chen Dan, Kristoffer Arnsfelt Hansen, ... (+3 more)
🔮 The Ethereal cs.CC 15 10 years ago
673 Tight Bounds for the Distribution-Free Testing of Monotone Conjunctions
Xi Chen, Jinyu Xie
🔮 The Ethereal cs.DM 15 10 years ago
674 Dynamic Graph Queries
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
🔮 The Ethereal cs.LO 15 10 years ago
675 A multi-paradigm language for reactive synthesis
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
🔮 The Ethereal cs.LO 15 10 years ago
676 A minimum-change version of the Chung-Feller theorem for Dyck paths
Torsten Mütze, Christoph Standke, Veit Wiechert
🔮 The Ethereal math.CO 15 10 years ago
677 Two-level lot-sizing with inventory bounds
Siao-Leu Phouratsamay, Safia Kedad-Sidhoum, Fanny Pascual
🔮 The Ethereal cs.CC 15 10 years ago
678 On Restricted Nonnegative Matrix Factorization
Dmitry Chistikov, Stefan Kiefer, ... (+3 more)
🔮 The Ethereal cs.FL 15 9 years ago
679 Doubly Balanced Connected Graph Partitioning
Saleh Soltan, Mihalis Yannakakis, Gil Zussman
🔮 The Ethereal math.CO 15 9 years ago
680 Trimming and gluing Gray codes
Petr Gregor, Torsten Mütze
🔮 The Ethereal math.CO 15 9 years ago
681 Structural Bounds on the Dyadic Effect
Matteo Cinelli, Giovanna Ferraro, Antonio Iovanella
🔮 The Ethereal math.CO 15 9 years ago
682 Twenty (simple) questions
Yuval Dagan, Yuval Filmus, ... (+2 more)
🔮 The Ethereal cs.DM 15 9 years ago
683 Sensitivity Analysis for Convex Separable Optimization over Integral Polymatroids
Tobias Harks, Max Klimm, Britta Peis
🔮 The Ethereal cs.DM 15 9 years ago
684 Monte Carlo Tableau Proof Search
Michael Färber, Cezary Kaliszyk, Josef Urban
🔮 The Ethereal cs.LO 15 9 years ago
685 Matrix multiplication algorithms from group orbits
Joshua A. Grochow, Cristopher Moore
🔮 The Ethereal cs.CC 15 9 years ago
686 Costas cubes
Jonathan Jedwab, Lily Yen
🔮 The Ethereal math.CO 15 9 years ago
687 On the Computation of Paracoherent Answer Sets
Giovanni Amendola, Carmine Dodaro, ... (+3 more)
🔮 The Ethereal cs.LO 15 8 years ago
688 Confluence in Probabilistic Rewriting
Alejandro Díaz-Caro, Guido Martínez
🔮 The Ethereal cs.LO 15 8 years ago
689 MaxMinSum Steiner Systems for Access-Balancing in Distributed Storage
Hoang Dau, Olgica Milenkovic
🔮 The Ethereal math.CO 15 8 years ago
690 Connectivity in Interdependent Networks
Jianan Zhang, Eytan Modiano
🔮 The Ethereal cs.DM 15 8 years ago
691 A new family of MRD codes in $\mathbb F_q^{2n\times2n}$ with right and middle nuclei $\mathbb F_{q^n}$
Rocco Trombetti, Yue Zhou
🔮 The Ethereal math.CO 15 8 years ago
692 On Hashing-Based Approaches to Approximate DNF-Counting
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
🔮 The Ethereal cs.LO 15 8 years ago
693 Proving Soundness of Extensional Normal-Form Bisimilarities
Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk
🔮 The Ethereal cs.LO 15 8 years ago
694 Randomized Near Neighbor Graphs, Giant Components, and Applications in Data Science
George C. Linderman, Gal Mishne, ... (+2 more)
🔮 The Ethereal math.CO 15 8 years ago
695 Exploring Approximations for Floating-Point Arithmetic using UppSAT
Aleksandar Zeljic, Peter Backeman, ... (+2 more)
🔮 The Ethereal cs.LO 15 8 years ago
696 Lifting Linear Extension Complexity Bounds to the Mixed-Integer Setting
Alfonso Cevallos, Stefan Weltge, Rico Zenklusen
🔮 The Ethereal cs.DM 15 8 years ago
697 Computing Hitting Set Kernels By AC^0-Circuits
Max Bannach, Till Tantau
🔮 The Ethereal cs.CC 15 8 years ago
698 Tight Hardness Results for Consensus Problems on Circular Strings and Time Series
Laurent Bulteau, Vincent Froese, Rolf Niedermeier
🔮 The Ethereal cs.DM 15 8 years ago
699 Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
Fabrizio Genovese, Jelle Herold
🔮 The Ethereal math.CT 15 7 years ago
700 Finding forbidden minors in sublinear time: a $n^{1/2+o(1)}$-query one-sided tester for minor closed properties on bounded degree graphs
Akash Kumar, C. Seshadhri, Andrew Stolman
🔮 The Ethereal cs.DM 15 7 years ago