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 page
Send comments to firstname.lastname@example.org
The number of hits on this page since 1998 August 3.