Found 1 document(s)
Page 1 of 1
-
The set of binary decision diagrams, an efficient data structure representing Boolean functions, is extensively used in many distinct contexts like model verification, machine learning, cryptography or also resolution of...