Satisfação booleana: algoritmos, aplicações, implementações

Detalhes bibliográficos
Autor(a) principal: Skliarova, Iouliia
Data de Publicação: 2002
Outros Autores: Ferrari, António B.
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

Registros relacionados