Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM118557
035-os BibID:(WOS)001156204000001 (Scopus)85184456323
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Solving the SAT problem with the string multiset rewriting calculus / Battyányi, Péter
Dátum:2024
ISSN:0010-485X
Megjegyzések:In this paper, we develop computing machinery within the framework of the String Multiset Rewriting calculus (SMSR), as defined by Barbuti et al. [4], to solve the SAT problem in linear time regarding the number of variables of a given conjunctive normal form. This shows that SMSR can be considered a computational model capable of significantly reducing the time requirement of classical decision problems.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
String multiset rewriting
Biologically motivated computing
SAT-problem
Megjelenés:Computing. - [Epub ahead of print] (2024), p. 1-14. -
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.