Programming, Binary Decision Diagrams, Computer Science, Boolean.
represent and solve boolean functions corresponding to Sudoku puzzles. Representation Internally, the BDD is stored as an array of nodes. Each node contains the index of a variable, and two pointers to nodes corresponding to its 0 and 1 assignments. To make sure no duplicate nodes exist in the