On the polytope of the at-least-m-different predicate

From MaRDI portal
Publication:6658032