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 areSend comments to jmc@cs.stanford.edu

The number of hits on this page since 1998 August 3.