Programming, Binary Decision Diagrams, Computer Science, Boolean.
https://www.youtube.com/watch?v=axUgEAgrSB8 More Donald Knuth: https://www.youtube.com/watch?v=SQE21efsf7Y Randal Bryant paper: http://www.cs.cmu.edu/~bryant/pubdir/iccad95.pdf BDDs and Sudoku: http://people.cs.aau.dk/~kgl/SV-07/Lecture14-3by2.pdf Python BDDS library: