Border-block triangular form and conjunction schedule in image computation (2000)

by I-H Moon, G D Hachtel, F Somenzi
Venue:in Formal Methods in Computer-Aided Design