Xiangxue Jia, Jian Zhang
A Powerful Technique to Eliminate Isomorphism in Finite Model Search
IJCAR, 2006.
@inproceedings{IJCAR-2006-JiaZ, author = "Xiangxue Jia and Jian Zhang", booktitle = "{Proceedings of the Third International Joint Conference on Automated Reasoning}", doi = "10.1007/11814771_29", isbn = "3-540-37187-7", pages = "318--331", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Powerful Technique to Eliminate Isomorphism in Finite Model Search}", volume = 4130, year = 2006, }