Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu. Improving Constraint Solving on Parallel Hybrid Systems.
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece. pp.726-732,
⟨10.1109/ictai.2018.00114⟩.
⟨hal-02296435⟩