Towards a Multi-device Constraints Solver - Roque, Pedro; Pedro, Vasco; Abreu, Salvador (2016)