Some Techniques of Isomorph-Free Search

The problem of isomorph-free search is analysed in a group theoretic framework, some algorithms are given for building searches in a modular way, and the context in which they can be applied is characterised as generally as possible. These results are applied to the problem of building finite models of monadic first-order sorted logic.