Solving the SAT problem with the string multiset rewriting calculus
Fájlok
Dátum
2024
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Természettudományok, Matematika- és számítástudományok
Jogtulajdonos
szerzők
Jelzet
Egyéb azonosító
Forrás
Computing. -106 (2024), p. 1321-1334. -Computing. - 0010-485X
Támogatás
EFOP-3.6.3-VEKOP-16-2017-00002