An introduction to zero-suppressed binary decision diagrams (2001)

by Alan Mishchenko
Venue:in ‘Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
Citations:10 - 0 self