On finding the optimal BDD relaxation
scientific article; zbMATH DE number 6756574