A Powerful Technique to Eliminate Isomorphism in Finite Model Search.

Xiangxue Jia, Jian Zhang

Browse the full CADE paper archive.