Improving Constraint Solving on Parallel Hybrid Systems

Complete list of metadatas

https://hal-paris1.archives-ouvertes.fr/hal-02296435
Contributor : Daniel Diaz <>
Submitted on : Wednesday, September 25, 2019 - 11:12:41 AM
Last modification on : Friday, September 27, 2019 - 12:16:04 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

32