On SSBDD model size & complexity
Jutman, Artur
ECS'03 : proceedings of the 4th Electronic Circuits and Systems Conference : September 11-12, 2003, Bratislava, Slovakia
2003
/
p. 17-22
https://pld.ttu.ee/~artur/papers/SSBDD_Model_Size-ECS03.pdf