It's interesting how far he takes particular topics. One on binary decision diagrams ended up with novel algorithms related to zero-suppressed binary decision d

It's interesting how far he takes particular topics. One on binary decision diagrams ended up with novel algorithms related to zero-suppressed binary decision diagrams. I think he even "broke" counting records for various hard counting problems (and submitted the numbers at OEIS). It does feel that sometimes he goes deeper than what you'd expect from a 7 volume book. As with any complicated topic, you need to give yourself some sleep to be able to truly intuit it.