Multi-valued simulation with binary decision diagrams (title)

types of item