دورية أكاديمية
Solving the SAT problem with the string multiset rewriting calculus
| العنوان: | Solving the SAT problem with the string multiset rewriting calculus |
|---|---|
| المؤلفون: | Battyányi, PéterAff1, IDs00607024012581_cor1 |
| المصدر: | Computing. 106(5):1321-1334 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 0010485X 14365057 |
|---|---|
| DOI: | 10.1007/s00607-024-01258-1 |