Improving Constraint Solving on Parallel Hybrid Systems.

Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu

Browse the full ICTAI paper archive.