Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Solving satisfiability and implication problems in database systems | 58 | 76.64 | 1996 |
| On Satisfiability, Equivalence, and Implication Problems Involving Conjunctive Queries in Database Systems | 40 | 54.43 | 1996 |
| Best case lower bounds for Heapsort. | 1 | 0.37 | 1992 |