An Isomorph-Free SEM-Like Enumeration of Models

  title={An Isomorph-Free SEM-Like Enumeration of Models},
  author={Thierry Boy de la Tour and Prakash Countcham},
  journal={Electr. Notes Theor. Comput. Sci.},
We investigate the integration of the enumeration of finite models of a formula, including unit propagation and pruning mechanisms, as provided by the system SEM, into McKay’s general method of isomorph-free exhaustive enumeration. The two techniques turn out to be nicely compatible, though this requires some adaptations, and to prove some non-trivial… CONTINUE READING