ML Anthology

Predicate-Oriented Isomorphism Elimination in Model Finding

Xiangxue Jia, Jian Zhang
IJCAI 2005 pp. 1525-1516
/ijcai/2005/jia2005ijcai-predicate/
PDF IJCAI Semantic Scholar

Cite

Text

Jia and Zhang. "Predicate-Oriented Isomorphism Elimination in Model Finding." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Jia and Zhang. "Predicate-Oriented Isomorphism Elimination in Model Finding." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/jia2005ijcai-predicate/)

BibTeX

@inproceedings{jia2005ijcai-predicate,
  title     = {{Predicate-Oriented Isomorphism Elimination in Model Finding}},
  author    = {Jia, Xiangxue and Zhang, Jian},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {1525-1516},
  url       = {https://mlanthology.org/ijcai/2005/jia2005ijcai-predicate/}
}