Improving Constraint Solving on Parallel Hybrid Systems - Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador (2018)