Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Solucionador"'
Publikováno v:
Serie Científica de la Universidad de las Ciencias Informáticas, Vol 15, Iss 11, Pp 81-93 (2022)
El Diseño Asistido por Computadora constituye actualmente la principal herramienta para el diseño de piezas 2D y 3D. Debido al alto costo de estos productos en el mercado internacional, Cuba decidió implementar su propio software para esta industr
Externí odkaz:
https://doaj.org/article/2b9b946eaa3644888a0c58eace084ea6
Advancements in SAT solving algorithms with heuristics and more sophisticated inferring techniques have allowed a wide array of real world applications for SAT solvers to prosper. In this work, an All-SAT solver based on the DPLL algorithm has been d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1404::041823f6d649460298742353ba371bb3
https://ddd.uab.cat/record/272821
https://ddd.uab.cat/record/272821
Autor:
Recio Armengol, Erik
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
Màster Oficial de Ciència i Tecnologia Quàntiques / Quantum Science and Technology, Facultat de Física, Universitat de Barcelona. Curs: 2021-2022. Tutor: Antonio Acín, co-tutors: Korbinian Kottmann, Paolo Stornati
We are setting up a pipeli
We are setting up a pipeli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00a4d322a10eb39772ab6efd7887f79d
http://hdl.handle.net/2445/189366
http://hdl.handle.net/2445/189366
Autor:
SILVA, Jorge Rodrigo Silva e
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFMA
Universidade Federal do Maranhão (UFMA)
instacron:UFMA
Universidade Federal do Maranhão (UFMA)
instacron:UFMA
Submitted by Maria Aparecida (cidazen@gmail.com) on 2022-08-19T12:02:30Z No. of bitstreams: 1 Jorge Rodrigovec.pdf: 15166193 bytes, checksum: 283de640446dbf77f87408ba59c0a257 (MD5) Made available in DSpace on 2022-08-19T12:02:30Z (GMT). No. of bitstr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::ff31b36ce4c6b06bc746697870dc7197
https://tedebc.ufma.br/jspui/handle/tede/tede/3995
https://tedebc.ufma.br/jspui/handle/tede/tede/3995
Autor:
Ariño Sales, Juan Francisco
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
[EN] The boolean satisfiability problem is a very important problem in computer science, affecting a great variety of fields, this work attempts to study how well genetic algorithms perform when applied to the SAT problem in comparison with some popu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::df803a9b617412b6f9cf6cfe5b2c74b7
http://hdl.handle.net/10251/151896
http://hdl.handle.net/10251/151896
Autor:
Lucas Pantuza Amorim
Publikováno v:
Repositório Institucional da UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior Este trabalho apresenta um procedimento massivamente paralelo ponta a ponta para a solução de problemas de valor de contorno em unidades de processamento gráfico (graphics pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::13b1223d9c55cd63ff49f615cf78913a
https://orcid.org/0000-0002-7353-1254
https://orcid.org/0000-0002-7353-1254
Autor:
Fernandes, Abiezer Amarilia
Publikováno v:
Repositório Institucional da UnBUniversidade de BrasíliaUNB.
Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2014.
Submitted by Ana Cristina Barbosa da Silva (annabds@hotmail.com) on 2014-10-31T13:22:42Z No. of bitstreams: 1 2014_AbiezerAmarilia
Submitted by Ana Cristina Barbosa da Silva (annabds@hotmail.com) on 2014-10-31T13:22:42Z No. of bitstreams: 1 2014_AbiezerAmarilia
Externí odkaz:
http://repositorio.unb.br/handle/10482/16688