It is often inadequate that a theory be consistent, i.e. have models. It should have enough models. We discuss parameterizing the set of models in the special case of propositional satisfiability.
There are html, dvi, postscript, and pdf versions of this note. Up to: Main McCarthy pageSend comments to jmc@cs.stanford.edu
The number of hits on this page since 1998 August 3.