Joao Jorge Ribeiro Soares Goncalves de Araujo


AuthID: R-000-705

Confirmed Publications: 73



1
TITLE: Cube-Based Isomorph-Free Finite Model Finding
AUTHORS: Choiwah Chow; Mikoláš Janota; João Araújo ;
PUBLISHED: 2024, SOURCE: 27th European Conference on Artificial Intelligence, ECAI 2024 in Frontiers in Artificial Intelligence and Applications, VOLUME: 392
INDEXED IN: Scopus CrossRef
2
TITLE: Integrals of groups. II  Full Text
AUTHORS: João Araújo ; Peter J Cameron; Carlo Casolo; Francesco Matucci;
PUBLISHED: 2024, SOURCE: Israel Journal of Mathematics, VOLUME: 234, ISSUE: 1
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
3
4
TITLE: SAT-Based Techniques for Lexicographically Smallest Finite Models
AUTHORS: Janota, Mikolas; Chow, Choiwah; Araujo, Joao ; Codish, Michael; Vojtechovsky, Petr;
PUBLISHED: 2024, SOURCE: 38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence in THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, VOLUME: 38, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef Unpaywall
5
TITLE: A survey on varieties generated by small semigroups and a companion website  Full Text
AUTHORS: Araujo, Joao ; Araujo, Joao Pedro; Cameron, Peter J.; Lee, Edmond W. H.; Raminhos, Jorge;
PUBLISHED: 2023, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 635
INDEXED IN: Scopus WOS
6
TITLE: Symmetries for Cube-And-Conquer in Finite Model Finding
AUTHORS: João Araújo ; Choiwah Chow; Mikoláš Janota;
PUBLISHED: 2023, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 280
INDEXED IN: Scopus
7
TITLE: Boosting isomorphic model filtering with invariants  Full Text
AUTHORS: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: CONSTRAINTS, VOLUME: 27, ISSUE: 3
INDEXED IN: WOS CrossRef
IN MY: ORCID
8
TITLE: Matrix theory for independence algebras  Full Text
AUTHORS: Araujo, Joao ; Bentz, Wolfram ; Cameron, Peter J.; Kinyon, Michael ; Konieczny, Janusz;
PUBLISHED: 2022, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 642
INDEXED IN: Scopus WOS CrossRef Unpaywall
IN MY: ORCID
9
TITLE: A transversal property for permutation groups motivated by partial transformations  Full Text
AUTHORS: Araujo, J ; Araujo, JP; Bentz, W ; Cameron, PJ; Spiga, P;
PUBLISHED: 2021, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 573
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
10
TITLE: Filtering isomorphic models by invariants
AUTHORS: João Araújo ; Choiwah Chow; Mikoláš Janota;
PUBLISHED: 2021, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 210
INDEXED IN: Scopus
Page 1 of 8. Total results: 73.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service