On finding the optimal BDD relaxation (Q2011572)

From MaRDI portal