Choiwah Chow

Boosting isomorphic model filtering with invariants

João Araújo, Mikoláš Janota, Choiwah Chow, 2022, Constraints.

CREAM: a Package to Compute [Auto, Endo, Iso, Mono, Epi]-morphisms, Congruences, Divisors and More for Algebras of Type $(2^n,1^n)$

J. Ara'ujo, W. Bentz, L. Sequeira, 2022, 2202.00613.

Boosting isomorphic model filtering with invariants

Mikol'avs Janota, Choiwah Chow, Joao Ara'ujo, 2022, Constraints.

Filtering Isomorphic Models by Invariants

J. Araújo, Mikoláš Janota, Choiwah Chow, 2021 .