Programming, Binary Decision Diagrams, Computer Science, Boolean.
of these boolean variables to consider. Solving the Sudoku puzzle can be seen as assigning 0 or 1 to these boolean variables such that the 3 Sudoku constraints are satisfied. We can take the Sudoku constraints and transform them into a large boolean expression. An assignment of variables that makes