Variations on the Common Subexpression Problem
Data up to Jan 2025
Total Citations Per Year
Abstract
References (18)
Computers and Intractability: A Guide to the Theory of NP-Completeness
1979 • 45,565 citations
The Art of Computer Programming
1968 • 16,727 citations
The Design and Analysis of Computer Algorithms
1974 • 9,688 citations
Efficiency of a Good But Not Linear Set Union Algorithm
1975 • 1,348 citations
Algorithmic Aspects of Vertex Elimination on Graphs
1976 • 1,224 citations
The art of computer programming. Vol.1: Fundamental algorithms
1978 • 828 citations
Fast Decision Procedures Based on Congruence Closure
1980 • 502 citations
Programming languages and their compilers: Preliminary notes
1969 • 380 citations
Linear unification
1978 • 272 citations
Storing a sparse table
1979 • 209 citations
Complexity of finitely presented algebras
1977 • 154 citations
Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)
1976 • 123 citations
An algorithm for reasoning about equality
1978 • 122 citations
Reasoning About Recursively Defined Data Structures
1980 • 91 citations
Scheduling Graphs on Two Processors
1976 • 72 citations
Assignment Commands with Array References
1978 • 30 citations
Off-line and on-line algorithms for deducing equalities
1978 • 13 citations
Deleted Work
1955 • 0 citations