Extending the Finite Domain Solver of GNU Prolog

Detalhes bibliográficos
Autor(a) principal: Bloemen, Vincent
Data de Publicação: 2014
Outros Autores: Diaz, Daniel, van der Bijl, Machiel, 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/17887
Resumo: Abstract This paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to overcome its current limitations. The preliminary performance evaluation shows a limited slowdown factor with respect to the initial solver. This factor is widely counterbalanced by the new possibilities and the robustness of the ...
id RCAP_78072901dd51778241deb98fd3e8baeb
oai_identifier_str oai:dspace.uevora.pt:10174/17887
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 Extending the Finite Domain Solver of GNU PrologAbstract This paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to overcome its current limitations. The preliminary performance evaluation shows a limited slowdown factor with respect to the initial solver. This factor is widely counterbalanced by the new possibilities and the robustness of the ...T.U. Wien2016-03-10T10:34:59Z2016-03-102014-07-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10174/17887http://hdl.handle.net/10174/17887enghttp://eprints.eemcs.utwente.nl/25798/01/ciclops14.pdfndndndsalvador.abreu@acm.org283Bloemen, VincentDiaz, Danielvan der Bijl, MachielAbreu, 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:05:26Zoai:dspace.uevora.pt:10174/17887Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T01:09:48.227140Repositó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 Extending the Finite Domain Solver of GNU Prolog
title Extending the Finite Domain Solver of GNU Prolog
spellingShingle Extending the Finite Domain Solver of GNU Prolog
Bloemen, Vincent
title_short Extending the Finite Domain Solver of GNU Prolog
title_full Extending the Finite Domain Solver of GNU Prolog
title_fullStr Extending the Finite Domain Solver of GNU Prolog
title_full_unstemmed Extending the Finite Domain Solver of GNU Prolog
title_sort Extending the Finite Domain Solver of GNU Prolog
author Bloemen, Vincent
author_facet Bloemen, Vincent
Diaz, Daniel
van der Bijl, Machiel
Abreu, Salvador
author_role author
author2 Diaz, Daniel
van der Bijl, Machiel
Abreu, Salvador
author2_role author
author
author
dc.contributor.author.fl_str_mv Bloemen, Vincent
Diaz, Daniel
van der Bijl, Machiel
Abreu, Salvador
description Abstract This paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to overcome its current limitations. The preliminary performance evaluation shows a limited slowdown factor with respect to the initial solver. This factor is widely counterbalanced by the new possibilities and the robustness of the ...
publishDate 2014
dc.date.none.fl_str_mv 2014-07-01T00:00:00Z
2016-03-10T10:34:59Z
2016-03-10
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/17887
http://hdl.handle.net/10174/17887
url http://hdl.handle.net/10174/17887
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv http://eprints.eemcs.utwente.nl/25798/01/ciclops14.pdf
nd
nd
nd
salvador.abreu@acm.org
283
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv T.U. Wien
publisher.none.fl_str_mv T.U. Wien
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_ 1799136580505436160

Registros relacionados