💀 The Wall of Shame

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

Page 65, showing 50 papers

# Paper Cause of Death Category Citations Published
3201 Regular resolution for CNFs with almost bounded one-sided treewidth
Andrea Cali, Igor Razgon
🔮 The Ethereal cs.CC 0 7 years ago
3202 On Modelling the Avoidability of Patterns as CSP
Thorsten Ehlers, Florin Manea, ... (+2 more)
🔮 The Ethereal cs.FL 0 7 years ago
3203 Complexity of Dependencies in Bounded Domains, Armstrong Codes, and Generalizations
Yeow Meng Chee, Hui Zhang, Xiande Zhang
🔮 The Ethereal math.CO 0 7 years ago
3204 Transformation of XML Documents with Prolog
René Haberland, Igor L. Bratchikov
🔮 The Ethereal cs.LO 0 7 years ago
3205 Unification of Template-Expansion and XML-Validation
René Haberland
🔮 The Ethereal cs.LO 0 7 years ago
3206 Fine-grained complexity of the graph homomorphism problem for bounded-treewidth graphs
Karolina Okrasa, Paweł Rzążewski
🔮 The Ethereal cs.CC 0 7 years ago
3207 On Asymmetric Unification for the Theory of XOR with a Homomorphism
Christopher Lynch, Andrew M. Marshall, ... (+3 more)
🔮 The Ethereal cs.CC 0 7 years ago
3208 A Formal Axiomatization of Computation
Rasoul Ramezanian
🔮 The Ethereal cs.CC 0 7 years ago
3209 On a Generalization of the Marriage Problem
Jonathan Lenchner
🔮 The Ethereal math.CO 0 7 years ago
3210 Abstract categorial grammars with island constraints and effective decidability
Sergey Slavnov
🔮 The Ethereal math.LO 0 7 years ago
3211 Subtour Elimination Constraints Imply a Matrix-Tree Theorem SDP Constraint for the TSP
Samuel C. Gutekunst, David P. Williamson
🔮 The Ethereal cs.DM 0 7 years ago
3212 Some optimal entanglement-assisted quantum codes constructed from quaternary Hermitian linear complementary dual codes
Masaaki Harada
🔮 The Ethereal math.CO 0 6 years ago
3213 Independent Double Roman Domination on Block Graphs
Decheng Wei, Changhong Lu
🔮 The Ethereal math.CO 0 6 years ago
3214 Typing Tensor Calculus in 2-Categories (I)
Fatimah Rita Ahmadi
🔮 The Ethereal math.CT 0 6 years ago
3215 A Constraint Model for the Tree Decomposition of a Graph
Benjamin Bumpus, Patrick Prosser, James Trimble
🔮 The Ethereal cs.DM 0 6 years ago
3216 Introduction to the 35th International Conference on Logic Programming Special Issue
Esra Erdem, Andrea Formisano, ... (+2 more)
🔮 The Ethereal cs.LO 0 6 years ago
3217 On Occupancy Moments and Bloom Filter Efficiency
Jonathan Burns
🔮 The Ethereal math.CO 0 6 years ago
3218 Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
Jorge A. Pérez, Jurriaan Rot
🔮 The Ethereal cs.LO 0 6 years ago
3219 Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution
Davide Ancona, Gordon Pace
🔮 The Ethereal cs.LO 0 6 years ago
3220 Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"
Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum
🔮 The Ethereal cs.LO 0 6 years ago
3221 Ordered Sets for Data Analysis
Sergei O. Kuznetsov
🔮 The Ethereal cs.LO 0 6 years ago
3222 Conditions for Unnecessary Logical Constraints in Kernel Machines
Francesco Giannini, Marco Maggini
🔮 The Ethereal cs.LO 0 6 years ago
3223 An Effective Upperbound on Treewidth Using Partial Fill-in of Separators
Boi Faltings, Martin Charles Golumbic
🔮 The Ethereal cs.DM 0 6 years ago
3224 Proceedings 35th International Conference on Logic Programming (Technical Communications)
Bart Bogaerts, Esra Erdem, ... (+8 more)
🔮 The Ethereal cs.LO 0 6 years ago
3225 Lower Bound for (Sum) Coloring Problem
Alexandre Gondran, Vincent Duchamp, Laurent Moalic
🔮 The Ethereal cs.DM 0 6 years ago
3226 Strong Equivalence for LPMLN Programs
Joohyung Lee, Man Luo
🔮 The Ethereal cs.LO 0 6 years ago
3227 Chaitin's Omega and an Algorithmic Phase Transition
Christof Schmidhuber
🔮 The Ethereal cs.CC 0 6 years ago
3228 Query Preserving Watermarking Schemes for Locally Treelike Databases
Agnishom Chattopadhyay, M. Praveen
🔮 The Ethereal cs.LO 0 6 years ago
3229 A Short Remark on Analogical Reasoning
Karl Schlechta
🔮 The Ethereal cs.LO 0 6 years ago
3230 Perfect Multi Deletion Codes Achieve the Asymptotic Optimality of Code Size
Takehiko Mori, Manabu Hagiwara
🔮 The Ethereal math.CO 0 6 years ago
3231 Abstract Transducers
Andreas Stahlbauer
🔮 The Ethereal cs.FL 0 6 years ago
3232 Programming and Symbolic Computation in Maude
Francisco Durán, Steven Eker, ... (+5 more)
🔮 The Ethereal cs.LO 0 6 years ago
3233 A King in every two consecutive tournaments
Yehuda Afek, Eli Gafni, Nati Linial
🔮 The Ethereal math.CO 0 6 years ago
3234 Overview of Logical Foundations of Cyber-Physical Systems
André Platzer
🔮 The Ethereal cs.LO 0 6 years ago
3235 Belief revision and 3-valued logics: Characterization of 19,683 belief change operators
Nerio Borges, Ramón Pino Pérez
🔮 The Ethereal cs.LO 0 6 years ago
3236 Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions
Sosuke Moriguchi, Kazuko Takahashi
🔮 The Ethereal cs.LO 0 6 years ago
3237 Decision Procedures for Guarded Logics
Kevin Kappelmann
🔮 The Ethereal cs.LO 0 6 years ago
3238 A generic imperative language for polynomial time
Daniel Leivant
🔮 The Ethereal cs.LO 0 6 years ago
3239 The k-Power Domination Number in Some Self-Similar Graphs
Yulun Xu, Qi Bao, Zhongzhi Zhang
🔮 The Ethereal math.CO 0 6 years ago
3240 On the separation of shape and temporal patterns in time series -Application to signature authentication-
Pierre-François Marteau
🔮 The Ethereal cs.DM 0 6 years ago
3241 Oriented Diameter of Star Graphs
K. S. Ajish Kumar, Deepak Rajendraprasad, K. S. Sudeep
🔮 The Ethereal cs.DM 0 6 years ago
3242 Inapproximability of Additive Weak Contraction under SSEH and Strong UGC
Siddhartha Jain
🔮 The Ethereal cs.CC 0 6 years ago
3243 Construction of $s$-extremal optimal unimodular lattices in dimension 52
Masaaki Harada
🔮 The Ethereal math.CO 0 6 years ago
3244 Constructive derandomization of query algorithms
Guy Blanc, Jane Lange, Li-Yang Tan
🔮 The Ethereal cs.CC 0 6 years ago
3245 Infinite families of $2$-designs from a class of linear codes related to Dembowski-Ostrom functions
Rong Wang, Xiaoni Du, ... (+2 more)
🔮 The Ethereal math.CO 0 6 years ago
3246 A Paraconsistent ASP-like Language with Tractable Model Generation
Andrzej Szalas
🔮 The Ethereal cs.LO 0 6 years ago
3247 Narrowing Down XML Template Expansion and Schema Validation
René Haberland
🔮 The Ethereal cs.LO 0 6 years ago
3248 Polynomial-Time Exact MAP Inference on Discrete Models with Global Dependencies
Alexander Bauer, Shinichi Nakajima
🔮 The Ethereal cs.DM 0 6 years ago
3249 Coarse-Grained Complexity for Dynamic Algorithms
Sayan Bhattacharya, Danupon Nanongkai, Thatchaphol Saranurak
🔮 The Ethereal cs.CC 0 6 years ago
3250 An Optimal Algorithm for 1-D Cutting Stock Problem
Srikrishnan Divakaran
🔮 The Ethereal cs.DM 0 6 years ago