Manipulation of regular expressions under length constraints using zero-suppressed-BDDs.

Shinya Ishihara, Shin-ichi Minato

Browse the full ASPDAC paper archive.