Predicate-Oriented Isomorphism Elimination in Model Finding.

Xiangxue Jia, Jian Zhang

Browse the full IJCAI paper archive.