Algebra and Logic
Article
Araujo,J;Chow,C;Janota,M
CONSTRAINTS
2022
27
3
360-379
10.1007/s10601-022-09336-x
Boosting isomorphic model filtering with invariants
NOVA Math > NOVA Math > NOVA Math Publications > Boosting isomorphic model filtering with invariants