Boolean fault dignosis with structurally synthesized BDDs
Ubar, Raimund-Johannes
Recent progress in the Boolean domain
2014
/
p. 303-331 : ill