Joao Araujo
Universidade Nova de Lisboa
H-index: 21
Europe-Portugal
Top articles of Joao Araujo
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Boosting isomorphic model filtering with invariants | Constraints | João Araújo Choiwah Chow Mikoláš Janota | 2022/7 |
CREAM: a Package to Compute [Auto, Endo, Iso, Mono, Epi]-morphisms, Congruences, Divisors and More for Algebras of Type | arXiv preprint arXiv:2202.00613 | João Araújo Rui Barradas Pereira Wolfram Bentz Choiwah Chow João Ramires | 2022/2/1 |
Filtering Isomorphic Models by Invariants (Short Paper) | João Araújo Choiwah Chow Mikoláš Janota | 2021 |