Filtering Isomorphic Models by Invariants (Short Paper). - João Araújo 002; Choiwah Chow; Mikolás Janota (CP, 2021)

Boosting isomorphic model filtering with invariants. - João Araújo 002; Choiwah Chow; Mikolás Janota (Constraints An Int. J., 2022)

Symmetries for Cube-And-Conquer in Finite Model Finding. - João Araújo 002; Choiwah Chow; Mikolás Janota (CP, 2023)

SAT-Based Techniques for Lexicographically Smallest Finite Models. - Mikolás Janota; Choiwah Chow; João Araújo 002; Michael Codish; Petr Vojtechovský (AAAI, 2024)

Cube-Based Isomorph-Free Finite Model Finding. - Choiwah Chow; Mikolás Janota; João Araújo 002 (ECAI, 2024)