0/1 vertex and facet enumeration with BDDs

From MaRDI portal
Publication:5233502