# Standard linearization

### From Glossary

The standard way to linearize the product of two binary variables and is to replace with a continuous variable and add four linear inequalities as auxiliary constraints:

Collectively, these imply for all binary values of and . This can be generalized for the product of binary variables for all in some index set by replacing
with a continuous variable and adding auxiliary constraints: