💀 The Wall of Shame

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

Page 30, showing 50 papers

# Paper Cause of Death Category Citations Published
1451 List homomorphisms by deleting edges and vertices: tight complexity bounds for bounded-treewidth graphs
Barış Can Esmer, Jacob Focke, ... (+2 more)
🔮 The Ethereal cs.CC 6 3 years ago
1452 Inapproximability of Counting Independent Sets in Linear Hypergraphs
Guoliang Qiu, Jiaheng Wang
🔮 The Ethereal cs.CC 6 3 years ago
1453 Improved NP-Hardness of Approximation for Orthogonality Dimension and Minrank
Dror Chawin, Ishay Haviv
🔮 The Ethereal cs.CC 6 3 years ago
1454 A Useful Inequality for the Binary Entropy Function
Ravi B. Boppana
🔮 The Ethereal math.CO 6 3 years ago
1455 On the Mixing Time of Glauber Dynamics for the Hard-core and Related Models on G(n,d/n)
Charilaos Efthymiou, Weiming Feng
🔮 The Ethereal cs.DM 6 3 years ago
1456 A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression
Nicola Cotumaccio
🔮 The Ethereal cs.FL 6 3 years ago
1457 Unified Foundations of Team Semantics via Semirings
Timon Barlag, Miika Hannula, ... (+3 more)
🔮 The Ethereal cs.LO 6 3 years ago
1458 Grassmannians of codes
I. Cardinali, L. Giuzzi
🔮 The Ethereal math.CO 6 3 years ago
1459 On Approximate Reconfigurability of Label Cover
Naoto Ohsaka
🔮 The Ethereal cs.DM 6 3 years ago
1460 Set-coloring Ramsey numbers and error-correcting codes near the zero-rate threshold
David Conlon, Jacob Fox, ... (+2 more)
🔮 The Ethereal math.CO 6 3 years ago
1461 Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?
Diptarka Chakraborty, Sourav Chakraborty, ... (+2 more)
🔮 The Ethereal cs.CC 6 3 years ago
1462 A proof of the Etzion-Silberstein conjecture for monotone and MDS-constructible Ferrers diagrams
Alessandro Neri, Mima Stanojkovski
🔮 The Ethereal math.CO 6 3 years ago
1463 A unified worst case for classical simplex and policy iteration pivot rules
Yann Disser, Nils Mosis
🔮 The Ethereal cs.DM 6 2 years ago
1464 Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds
Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits
🔮 The Ethereal cs.FL 6 2 years ago
1465 Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold
Venkatesan Guruswami, Jun-Ting Hsieh, ... (+2 more)
🔮 The Ethereal cs.CC 6 2 years ago
1466 Bent functions satisfying the dual bent condition and permutations with the $(\mathcal{A}_m)$ property
Alexandr Polujan, Enes Pasalic, ... (+2 more)
🔮 The Ethereal math.CO 6 2 years ago
1467 Deterministic 3SUM-Hardness
Nick Fischer, Piotr Kaliciak, Adam Polak
🔮 The Ethereal cs.CC 6 2 years ago
1468 On Learning Polynomial Recursive Programs
Alex Buna-Marginean, Vincent Cheval, ... (+2 more)
🔮 The Ethereal cs.LO 6 2 years ago
1469 Simplicial Models for the Epistemic Logic of Faulty Agents
Eric Goubault, Roman Kniazev, ... (+2 more)
🔮 The Ethereal cs.LO 6 2 years ago
1470 Treewidth is Polynomial in Maximum Degree on Weakly Sparse Graphs Excluding a Planar Induced Minor
Édouard Bonnet, Jędrzej Hodor, ... (+2 more)
🔮 The Ethereal math.CO 6 2 years ago
1471 On the Constant-Depth Circuit Complexity of Generating Quasigroups
Nathaniel A. Collins, Joshua A. Grochow, ... (+2 more)
🔮 The Ethereal cs.CC 6 2 years ago
1472 Alphabet Reduction for Reconfiguration Problems
Naoto Ohsaka
🔮 The Ethereal cs.CC 6 2 years ago
1473 The Primal Pathwidth SETH
Michael Lampis
🔮 The Ethereal cs.CC 6 2 years ago
1474 The Low-Degree Hardness of Finding Large Independent Sets in Sparse Random Hypergraphs
Abhishek Dhawan, Yuzhou Wang
🔮 The Ethereal cs.CC 6 2 years ago
1475 On the Power of Interactive Proofs for Learning
Tom Gur, Mohammad Mahdi Jahanara, ... (+4 more)
🔮 The Ethereal cs.CC 6 2 years ago
1476 Pseudorandom Permutations from Random Reversible Circuits
William He, Ryan O'Donnell
🔮 The Ethereal cs.CC 6 2 years ago
1477 Computing Hamiltonian Paths with Partial Order Restrictions
Jesse Beisegel, Fabienne Ratajczak, Robert Scheffler
🔮 The Ethereal cs.DM 6 2 years ago
1478 Eigenvalue bounds and alternating rank-metric codes
Aida Abiad, Gianira N. Alfarano, Alberto Ravagnani
🔮 The Ethereal math.CO 6 2 years ago
1479 Constructing $k$-ary Orientable Sequences with Asymptotically Optimal Length
Daniel Gabrić, Joe Sawada
🔮 The Ethereal cs.DM 6 2 years ago
1480 The Bright Side of Timed Opacity
Étienne André, Sarah Dépernet, Engel Lefaucheux
🔮 The Ethereal cs.LO 6 1 year ago
1481 A refined graph container lemma and applications to the hard-core model on bipartite expanders
Matthew Jenssen, Alexandru Malekshahian, Jinyoung Park
🔮 The Ethereal math.CO 6 1 year ago
1482 Tree independence number V. Walls and claws
Maria Chudnovsky, Julien Codsi, ... (+3 more)
🔮 The Ethereal math.CO 6 1 year ago
1483 Quotients of skew polynomial rings: new constructions of division algebras and MRD codes
F. J. Lobillo, Paolo Santonastaso, John Sheekey
🔮 The Ethereal math.CO 6 1 year ago
1484 Merge-width and First-Order Model Checking
Jan Dreier, Szymon Toruńczyk
🔮 The Ethereal math.CO 6 1 year ago
1485 Inconsistency Handling in DatalogMTL
Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
🔮 The Ethereal cs.LO 6 1 year ago
1486 HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
Jilin Hu, Jianyu Zhang, ... (+2 more)
🔮 The Ethereal cs.FL 6 1 year ago
1487 An Algebra to Merge Heterogeneous Classifiers
Philippe J. Giabbanelli, Joseph G. Peters
🔮 The Ethereal cs.DM 5 11 years ago
1488 Parameter Compilation
Hubie Chen
🔮 The Ethereal cs.CC 5 11 years ago
1489 Tree spanners of bounded degree graphs
Ioannis Papoutsakis
🔮 The Ethereal cs.DM 5 11 years ago
1490 Distributed Corruption Detection in Networks
Noga Alon, Elchanan Mossel, Robin Pemantle
🔮 The Ethereal math.CO 5 11 years ago
1491 A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability
Ahmed Younes, Jonathan E. Rowe
🔮 The Ethereal cs.CC 5 11 years ago
1492 Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring (Extended Version)
Bjarki Ágúst Guðmundsson, Tómas Ken Magnússon, Björn Orri Sæmundsson
🔮 The Ethereal cs.DM 5 10 years ago
1493 Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version)
Alessandro Trindade, Hussama Ismail, Lucas Cordeiro
🔮 The Ethereal cs.LO 5 10 years ago
1494 Rank Aggregation: New Bounds for MCx
Daniel Freund, David P. Williamson
🔮 The Ethereal cs.DM 5 10 years ago
1495 DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics
Samson Abramsky, Dominic Horsman
🔮 The Ethereal cs.LO 5 10 years ago
1496 Complexity of the Description Logic ALCM
Monica Martinez, Edelweis Rohrer, Paula Severi
🔮 The Ethereal cs.LO 5 10 years ago
1497 Enumeration and Random Generation of Unlabeled Classes of Graphs: A Practical Study of Cycle Pointing and the Dissymmetry Theorem
Alexander Iriza
🔮 The Ethereal cs.DM 5 10 years ago
1498 On computing tree and path decompositions with metric constraints on the bags
Guillaume Ducoffe, Sylvain Legay, Nicolas Nisse
🔮 The Ethereal cs.CC 5 10 years ago
1499 Lighthouse Principle for Diffusion in Social Networks
Sanaz Azimipour, Pavel Naumov
🔮 The Ethereal math.LO 5 10 years ago
1500 Generalized bent functions - sufficient conditions and related constructions
S. Hodžić, E. Pasalic
🔮 The Ethereal math.CO 5 10 years ago