https://9lib.org/document/yr30g15v-www-based-boolean-function-minimization-s.html