... it addresses the management of source code, data files and executables. ... the relationship between the various executables (and other run-time components) ...
It uses the variable ordering. x1, x2, x3, x4. Construct the BDD for the variable ... put such a node into topological order and delete node and all outgoing edges. ...