Improving Constraint Solving on Parallel Hybrid Systems - Archive ouverte HAL Access content directly
Conference Papers Year :

Dates and versions

hal-02296435 , version 1 (25-09-2019)

Identifiers

Cite

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⟩
42 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More