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 email@example.com
The number of hits on this page since 1998 August 3.