In terms of a logic formula, a ["Model"] is some assignment of variables that causes the formula to be true.
Model
Revision 1 as of 2003-09-12 00:37:17
Clear message
In terms of a logic formula, a ["Model"] is some assignment of variables that causes the formula to be true.