https://123dok.net/document/zx565e4o-on-maximal-qrobdd-s-of-boolean-functions.html