Programming, Binary Decision Diagrams, Computer Science, Boolean.
variable satisfaction questions can be answered using simple algorithms applied to the BDD. For our application, we implement SatisfyOne, which finds one assignment of the variables which satisfies the given boolean function. With the way the BDD is constructed, SatisfyOne is implemented by simply