Conference paper
COMPLEXITY OF BACKTRACK SEARCHES.
Larry Carter, Larry Stockmeyer, et al.
STOC 1985
Conference paper
SUMMARIZING GRAPHS BY REGULAR EXPRESSIONS.
Related
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
Conference paper
CONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.
Mark N. Wegman, F. Kenneth Zadeck
POPL 1985
Conference paper
Universal classes of hash functions
J. Lawrence Carter, Mark N. Wegman
STOC 1977