Skip to Main content Skip to Navigation
Conference papers

Improving Constraint Solving on Parallel Hybrid Systems

Pedro Roque 1 Vasco Pedro 1 Daniel Diaz 2 Salvador Abreu 1
1 University of Évora [Portugal]
2 CRI - Centre de Recherche en Informatique de Paris 1
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

Links full text

openaccess

Identifiers

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

88