 |
Conference papers
Improving Constraint Solving on Parallel Hybrid Systems
Pedro Roque 1
Author
Vasco Pedro 1
Author
Daniel Diaz 2
Mail : Site :
Author IdHAL : daniel-diaz
Salvador Abreu 1
Author
1
University of Évora [Portugal] (Universidade de Évora | Largo dos Colegiais 2, 7000 Évora
- Portugal)
2
CRI - Centre de Recherche en Informatique de Paris 1 (Université Paris 1 Panthéon-Sorbonne 90 rue de Tolbiac 75013 Paris Pays FR - France)
- UP1 - Université Panthéon-Sorbonne (12 place du Panthéon - 75231 Paris Cedex 05 - France)
Document type :
Conference papers
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 : Tuesday, January 21, 2020 - 1:14:17 AM
Contributor : Daniel Diaz <>
Submitted on : Wednesday, September 25, 2019 - 11:12:41 AM
Last modification on : Tuesday, January 21, 2020 - 1:14:17 AM
Links full text
Identifiers
- HAL Id : hal-02296435, version 1
- DOI : 10.1109/ictai.2018.00114
Collections
UNIV-PARIS1 | CRI | TDS-MACS
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⟩
Metrics
Record views
