Improving Constraint Solving on Parallel Hybrid Systems

Detalhes bibliográficos
Autor(a) principal: Roque, Pedro
Data de Publicação: 2018
Outros Autores: Pedro, Vasco, Diaz, Daniel, Abreu, Salvador
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10174/24781
https://doi.org/10.1109/ICTAI.2018.00114
Resumo: Recently, we developed the Parallel Heterogeneous Architecture Constraint Toolkit (PHACT), which is a multi-threaded constraint solver capable of using all the available devices which are compatible with OpenCL, in order to speed up the constraint satisfaction process. In this article, we introduce an evolution of PHACT which includes the ability to execute FlatZinc and MiniZinc models, as well as architectural improvements which boost the performance in solving CSPs, especially when using GPUs.
id RCAP_eefe3de4698dd7fe9f0e93749c1026e0
oai_identifier_str oai:dspace.uevora.pt:10174/24781
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Improving Constraint Solving on Parallel Hybrid SystemsRecently, we developed the Parallel Heterogeneous Architecture Constraint Toolkit (PHACT), which is a multi-threaded constraint solver capable of using all the available devices which are compatible with OpenCL, in order to speed up the constraint satisfaction process. In this article, we introduce an evolution of PHACT which includes the ability to execute FlatZinc and MiniZinc models, as well as architectural improvements which boost the performance in solving CSPs, especially when using GPUs.IEEE Xplore2019-02-20T13:02:46Z2019-02-202018-11-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10174/24781http://hdl.handle.net/10174/24781https://doi.org/10.1109/ICTAI.2018.00114engPedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu: Improving Constraint Solving on Parallel Hybrid Systems. ICTAI 2018: 726-732proque@di.uevora.ptvp@di.uevora.ptndspa@uevora.pt283Roque, PedroPedro, VascoDiaz, DanielAbreu, Salvadorinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-01-03T19:17:57Zoai:dspace.uevora.pt:10174/24781Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T01:15:19.916574Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Improving Constraint Solving on Parallel Hybrid Systems
title Improving Constraint Solving on Parallel Hybrid Systems
spellingShingle Improving Constraint Solving on Parallel Hybrid Systems
Roque, Pedro
title_short Improving Constraint Solving on Parallel Hybrid Systems
title_full Improving Constraint Solving on Parallel Hybrid Systems
title_fullStr Improving Constraint Solving on Parallel Hybrid Systems
title_full_unstemmed Improving Constraint Solving on Parallel Hybrid Systems
title_sort Improving Constraint Solving on Parallel Hybrid Systems
author Roque, Pedro
author_facet Roque, Pedro
Pedro, Vasco
Diaz, Daniel
Abreu, Salvador
author_role author
author2 Pedro, Vasco
Diaz, Daniel
Abreu, Salvador
author2_role author
author
author
dc.contributor.author.fl_str_mv Roque, Pedro
Pedro, Vasco
Diaz, Daniel
Abreu, Salvador
description Recently, we developed the Parallel Heterogeneous Architecture Constraint Toolkit (PHACT), which is a multi-threaded constraint solver capable of using all the available devices which are compatible with OpenCL, in order to speed up the constraint satisfaction process. In this article, we introduce an evolution of PHACT which includes the ability to execute FlatZinc and MiniZinc models, as well as architectural improvements which boost the performance in solving CSPs, especially when using GPUs.
publishDate 2018
dc.date.none.fl_str_mv 2018-11-01T00:00:00Z
2019-02-20T13:02:46Z
2019-02-20
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10174/24781
http://hdl.handle.net/10174/24781
https://doi.org/10.1109/ICTAI.2018.00114
url http://hdl.handle.net/10174/24781
https://doi.org/10.1109/ICTAI.2018.00114
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu: Improving Constraint Solving on Parallel Hybrid Systems. ICTAI 2018: 726-732
proque@di.uevora.pt
vp@di.uevora.pt
nd
spa@uevora.pt
283
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv IEEE Xplore
publisher.none.fl_str_mv IEEE Xplore
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799136634977910784

Registros relacionados