机译:Boosting isomorphic model filtering with invariants
Universidade Nova de Lisboa;
Universidade Aberta;
Czech Technical University in Prague;
Computational algebra; Finite model enumeration; Isomorphism; Invariant; Random generation of invariants; Mace4; Hashing;