Solving the SAT problem with the string multiset rewriting calculus

A tétel rövid nézete
dc.contributor.authorBattyányi, Péter
dc.date.accessioned2024-02-12T09:05:11Z
dc.date.available2024-02-12T09:05:11Z
dc.date.issued2024
dc.date.oa2024-02-14
dc.date.pasync2025-02-13T00:09:12Z
dc.date.updated2024-02-12T09:05:11Z
dc.description.correctorKTK
dc.identifier.citationComputing. -106 (2024), p. 1321-1334. -Computing. - 0010-485X
dc.identifier.doihttp://dx.doi.org/10.1007/s00607-024-01258-1
dc.identifier.issn0010-485X
dc.identifier.opachttps://ebib.lib.unideb.hu/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM118557
dc.identifier.scopus85184456323
dc.identifier.urihttps://hdl.handle.net/2437/366220
dc.identifier.urlhttps://link.springer.com/10.1007/s00607-024-01258-1
dc.identifier.wos001156204000001
dc.languageeng
dc.rights.accessopen access article
dc.rights.ownerszerzők
dc.subject.mabTermészettudományok
dc.subject.mabMatematika- és számítástudományok
dc.tenderEFOP-3.6.3-VEKOP-16-2017-00002
dc.titleSolving the SAT problem with the string multiset rewriting calculus
dc.typefolyóiratcikk
dc.typeidegen nyelvű folyóiratközlemény külföldi lapban
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
FILE_UP_0_Solving the SAT problem with the string multiset rewriting calculus.pdf
Méret:
1.22 MB
Formátum:
Adobe Portable Document Format
Leírás:
kiadói változat
Letöltés
Gyűjtemények
Publikációs Adatbázis