Generalized resolution for 0--1 linear inequalities (Q1354004)

From MaRDI portal