On the Scalability of Constraint Programming on Hierarchical Multiprocessor Systems - Machado, Rui; Pedro, Vasco; Abreu, Salvador (2013)