Satisfação booleana: algoritmos, aplicações, implementações
Autor(a) principal: | |
---|---|
Data de Publicação: | 2002 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | https://proa.ua.pt/index.php/revdeti/article/view/18051 |
Resumo: | This paper presents the detailed description of the Boolean satisfiability (SAT) problem and considers the complete discrete algorithms that are commonly employed in its solution. It is demonstrated that SAT has numerous practical applications. Thus the design and implementation of efficient algorithms is of great importance today. Finally, various realizations of SAT solvers based on reconfigurable hardware are analyzed and compared. |
id |
RCAP_33ba5bcedcd06e5913d9881635eddcf9 |
---|---|
oai_identifier_str |
oai:proa.ua.pt:article/18051 |
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 |
Satisfação booleana: algoritmos, aplicações, implementaçõesThis paper presents the detailed description of the Boolean satisfiability (SAT) problem and considers the complete discrete algorithms that are commonly employed in its solution. It is demonstrated that SAT has numerous practical applications. Thus the design and implementation of efficient algorithms is of great importance today. Finally, various realizations of SAT solvers based on reconfigurable hardware are analyzed and compared.Neste artigo considera-se em detalhe o problema de satisfação booleana (SAT) e descrevem-se os algoritmos discretos completos que são normalmente utilizados para a sua solução. É mostrado que SAT tem inúmeras aplicações práticas. Portanto, o desenvolvimento e a implementação de algoritmos eficientes assumem actualmente grande importância. Finalmente, são analisadas várias realizações de algoritmos baseadas em hardware reconfigurável e é comparado o seu desempenho.UA Editora2002-01-01T00:00:00Zjournal articleinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://proa.ua.pt/index.php/revdeti/article/view/18051oai:proa.ua.pt:article/18051Eletrónica e Telecomunicações; Vol 3 No 5 (2002); 400-408Eletrónica e Telecomunicações; vol. 3 n.º 5 (2002); 400-4082182-97721645-0493reponame: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:RCAAPporhttps://proa.ua.pt/index.php/revdeti/article/view/18051https://proa.ua.pt/index.php/revdeti/article/view/18051/12969https://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessSkliarova, IouliiaFerrari, António B.2022-09-26T11:00:22Zoai:proa.ua.pt:article/18051Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T16:08:31.636084Repositó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 |
Satisfação booleana: algoritmos, aplicações, implementações |
title |
Satisfação booleana: algoritmos, aplicações, implementações |
spellingShingle |
Satisfação booleana: algoritmos, aplicações, implementações Skliarova, Iouliia |
title_short |
Satisfação booleana: algoritmos, aplicações, implementações |
title_full |
Satisfação booleana: algoritmos, aplicações, implementações |
title_fullStr |
Satisfação booleana: algoritmos, aplicações, implementações |
title_full_unstemmed |
Satisfação booleana: algoritmos, aplicações, implementações |
title_sort |
Satisfação booleana: algoritmos, aplicações, implementações |
author |
Skliarova, Iouliia |
author_facet |
Skliarova, Iouliia Ferrari, António B. |
author_role |
author |
author2 |
Ferrari, António B. |
author2_role |
author |
dc.contributor.author.fl_str_mv |
Skliarova, Iouliia Ferrari, António B. |
description |
This paper presents the detailed description of the Boolean satisfiability (SAT) problem and considers the complete discrete algorithms that are commonly employed in its solution. It is demonstrated that SAT has numerous practical applications. Thus the design and implementation of efficient algorithms is of great importance today. Finally, various realizations of SAT solvers based on reconfigurable hardware are analyzed and compared. |
publishDate |
2002 |
dc.date.none.fl_str_mv |
2002-01-01T00:00:00Z |
dc.type.driver.fl_str_mv |
journal article info:eu-repo/semantics/article |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://proa.ua.pt/index.php/revdeti/article/view/18051 oai:proa.ua.pt:article/18051 |
url |
https://proa.ua.pt/index.php/revdeti/article/view/18051 |
identifier_str_mv |
oai:proa.ua.pt:article/18051 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://proa.ua.pt/index.php/revdeti/article/view/18051 https://proa.ua.pt/index.php/revdeti/article/view/18051/12969 |
dc.rights.driver.fl_str_mv |
https://creativecommons.org/licenses/by/4.0/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by/4.0/ |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
UA Editora |
publisher.none.fl_str_mv |
UA Editora |
dc.source.none.fl_str_mv |
Eletrónica e Telecomunicações; Vol 3 No 5 (2002); 400-408 Eletrónica e Telecomunicações; vol. 3 n.º 5 (2002); 400-408 2182-9772 1645-0493 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_ |
1799130542960017408 |