Improving Constraint Solving on Parallel Hybrid Systems

Pedro Roque; Vasco Pedro; Daniel Diaz; Salvador Abreu

doi:10.1109/ictai.2018.00114

Communication Dans Un Congrès Année : 2018

Improving Constraint Solving on Parallel Hybrid Systems

(1) , (1) , (2) , (1)

1
2

Pedro Roque

Fonction : Auteur

University of Évora [Portugal]

Vasco Pedro

Fonction : Auteur

University of Évora [Portugal]

Daniel Diaz

Fonction : Auteur
PersonId : 177531
IdHAL : daniel-diaz
ORCID : 0000-0002-2700-2271
IdRef : 069722358

Centre de Recherche en Informatique de Paris 1

CV

Salvador Abreu

Fonction : Auteur
PersonId : 969907
ORCID : 0000-0002-1613-4631
IdRef : 076289672

University of Évora [Portugal]

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Intelligence artificielle [cs.AI] Mathématique discrète [cs.DM]

Daniel Diaz : Connectez-vous pour contacter le contributeur

https://paris1.hal.science/hal-02296435

Soumis le : mercredi 25 septembre 2019-11:12:41

Dernière modification le : mercredi 6 mars 2024-17:03:03

Dates et versions

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

Identifiants

HAL Id : hal-02296435 , version 1
DOI : 10.1109/ictai.2018.00114

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 CRI TDS-MACS

47 Consultations

0 Téléchargements

Improving Constraint Solving on Parallel Hybrid Systems

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager