"binary decision diagram" . . . "binary decision diagram" .