💀 The Wall of Shame

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

Page 1

# Paper Cause of Death Category Citations Published
1 Safe Reinforcement Learning via Shielding
Mohammed Alshiekh, Roderick Bloem, ... (+4 more)
🔮 The Ethereal cs.LO 806 8 years ago
2 Sliding Window Temporal Graph Coloring
George B. Mertzios, Hendrik Molter, Viktor Zamaraev
🔮 The Ethereal cs.DM 47 7 years ago
3 Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
🔮 The Ethereal cs.LO 28 7 years ago
4 A SAT-based Resolution of Lam's Problem
Curtis Bright, Kevin K. H. Cheung, ... (+3 more)
🔮 The Ethereal cs.DM 21 5 years ago
5 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
Anastasios Kyrillidis, Anshumali Shrivastava, ... (+2 more)
🔮 The Ethereal cs.LO 18 6 years ago
6 On the Computation of Paracoherent Answer Sets
Giovanni Amendola, Carmine Dodaro, ... (+3 more)
🔮 The Ethereal cs.LO 15 8 years ago
7 Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard
Markus Hecher, Jorge Fandinno
🔮 The Ethereal cs.LO 10 5 years ago
8 Exact ASP Counting with Compact Encodings
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel
🔮 The Ethereal cs.LO 10 2 years ago
9 Answering Regular Path Queries Over SQ Ontologies
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
🔮 The Ethereal cs.LO 9 5 years ago
10 Exact Algorithms and Lowerbounds for Multiagent Pathfinding: Power of Treelike Topology
Foivos Fioravantes, Dušan Knop, ... (+3 more)
🔮 The Ethereal cs.CC 9 2 years ago
11 Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
Marlo Souza, Álvaro Moreira, Renata Vieira
🔮 The Ethereal cs.LO 7 7 years ago
12 Constructing Minimal Perfect Hash Functions Using SAT Technology
Sean Weaver, Marijn Heule
🔮 The Ethereal cs.LO 6 6 years ago
13 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Sen Zheng, Renate A. Schmidt
🔮 The Ethereal cs.LO 6 6 years ago
14 Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms
Tuhin Sahai, Anurag Mishra, ... (+2 more)
🔮 The Ethereal cs.DM 4 6 years ago
15 Solving Multiagent Path Finding on Highly Centralized Networks
Foivos Fioravantes, Dušan Knop, ... (+4 more)
🔮 The Ethereal cs.CC 4 1 year ago
16 Checking Chase Termination over Ontologies of Existential Rules with Equality
David Carral, Jacopo Urbani
🔮 The Ethereal cs.LO 3 6 years ago
17 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, ... (+4 more)
🔮 The Ethereal cs.LO 3 1 year ago
18 Relaxing and Restraining Queries for OBDA
Medina Andreşel, Yazmin Ibáñez-García, ... (+2 more)
🔮 The Ethereal cs.LO 2 7 years ago
19 Automata Cascades: Expressivity and Sample Complexity
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
🔮 The Ethereal cs.FL 2 3 years ago
20 Learning Broadcast Protocols
Dana Fisman, Noa Izsak, Swen Jacobs
🔮 The Ethereal cs.FL 2 2 years ago
21 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
Amar Shah, Federico Mora, Sanjit A. Seshia
🔮 The Ethereal cs.LO 2 2 years ago
22 Auditable Algorithms for Approximate Model Counting
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
🔮 The Ethereal cs.LO 2 2 years ago
23 Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures
Foivos Fioravantes, Dušan Knop, ... (+3 more)
🔮 The Ethereal cs.CC 2 1 year ago
24 Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo
🔮 The Ethereal cs.LO 2 1 year ago
25 Omega-Regular Decision Processes
Ernst Moritz Hahn, Mateo Perez, ... (+4 more)
🔮 The Ethereal cs.LO 1 2 years ago
26 Schur Number Five
Marijn J. H. Heule
🔮 The Ethereal cs.LO 0 8 years ago
27 Constraint Optimization over Semirings
A. Pavan, Kuldeep S. Meel, ... (+2 more)
🔮 The Ethereal cs.LO 0 3 years ago
28 Using Symmetries to Lift Satisfiability Checking
Pierre Carbonnelle, Gottfried Schenner, ... (+3 more)
🔮 The Ethereal cs.LO 0 2 years ago
29 Approximation Algorithms for Preference Aggregation Using CP-Nets
Abu Mohammmad Hammad Ali, Boting Yang, Sandra Zilles
🔮 The Ethereal cs.CC 0 2 years ago