Modeling disjunctive constraints with a logarithmic number of binary variables and constraints

From MaRDI portal