Back to ComputerTerms

In terms of a logic formula, a ["Model"] is some assignment of variables that causes the formula to be true.

Back to ComputerTerms