---
title: "Predicate-Oriented Isomorphism Elimination in Model Finding"
authors:
  - "Xiangxue Jia"
  - "Jian Zhang"
doi: ""
url: "https://ijcai.org/proceedings/2005/296"
pdf: "https://ijcai.org/proceedings/2005/0296.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "1525-1515"
track: ""
keywords:
---

# Predicate-Oriented Isomorphism Elimination in Model Finding

Xiangxue Jia, Jian Zhang

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 1525-1515.

## Abstract

Finding models of logical formulas is a challenging problem. For first-order formulas, a finite model can be found by exhaustive search. For many structured problem instances, there is much isomorphism in the search space. This paper proposes general-purpose techniques for eliminating isomorphic subspaces, which can be helpful when the formulas have many predicates. The techniques are based on inherent symmetries in first-order clauses.