Conference paper
SUMMARIZING GRAPHS BY REGULAR EXPRESSIONS.
Mark N. Wegman
POPL 1983
Conference paper
COMPLEXITY OF BACKTRACK SEARCHES.
Related
Conference paper
Links between complexity theory and constrained block coding
Larry Stockmeyer, D.S. Modha
CCC 2001
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
Conference paper
The hyperbox
Bowen Alpern, Larry Carter
VIS 1991