Battyányi, Péter2024-02-122024-02-122024Computing. -106 (2024), p. 1321-1334. -Computing. - 0010-485X0010-485Xhttps://hdl.handle.net/2437/366220Solving the SAT problem with the string multiset rewriting calculusfolyóiratcikkopen access articlehttps://ebib.lib.unideb.hu/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM118557TermészettudományokMatematika- és számítástudományokhttps://link.springer.com/10.1007/s00607-024-01258-1szerzőkhttp://dx.doi.org/10.1007/s00607-024-01258-12024-02-1200115620400000185184456323