Solving the SAT problem with the string multiset rewriting calculus
Betöltés ...
Fájlok
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Forrás
Computing. -106 (2024), p. 1321-1334. -Computing. - 0010-485X
Hivatkozás
Gyűjtemények
Jóváhagyás
Áttekintés
Kiegészítve
Hivatkozik rá
Jogok és engedélyezések
open access article
szerzők
szerzők