Maria Clicia Stelling de Castro, M. R. P. I. C. D. (2013) “Paralellisation of Arc-Consistency Algorithms in a Centralised Memory Machine”, Cadernos do IME - Série Informática. Rio de Janeiro, 13, pp. 13–19. Available at: https://www.e-publicacoes.uerj.br/cadinf/article/view/6582 (Accessed: 2 December 2025).