An Isomorph-Free SEM-Like Enumeration of Models

@article{Tour2005AnIS,
  title={An Isomorph-Free SEM-Like Enumeration of Models},
  author={Thierry Boy de la Tour and Prakash Countcham},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2005},
  volume={125},
  pages={91-113}
}
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