A Succinct and Efficient Implementation of a 2^32 BDD Package.

Guanfeng Lv Yao Chen Yachao Feng Qingliang Chen Kaile Su

Published in: TASE (2012)

Keyphrases

efficient implementation
active set
boolean functions
software package
binary decision diagrams
efficient processing
hardware implementation
highly parallel