The symbolic OBDD scheme for generating mechanical assembly sequences.

Tianlong Gu Huadong Liu

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

hidden markov models
pseudorandom
detection scheme
domain specific
high level
data structure
classification scheme
symbolic representation