https://123dok.net/document/zwvw8mgq-solving-bdd-by-enumeration-an-update.html