LIA: Linear Integer Arithmetic

What does LIA mean? The above is one of LIA meanings. It may have other definitions. Please refer to the end of this passage.

LIA: Linear Integer Arithmetic

Definition in English: Linear Integer Arithmetic