دورية أكاديمية
Lazily-Verifiable SAT Proof Checker in SPARK 2014
| العنوان: | Lazily-Verifiable SAT Proof Checker in SPARK 2014 |
|---|---|
| المؤلفون: | Dietrich, AndréAff1, IDs116230231804y_cor1, Schmidt, Christopher, Enghardt, Nico, Philipp, Tobias |
| المصدر: | Datenschutz und Datensicherheit - DuD. 47(8):487-491 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 16140702 18622607 |
|---|---|
| DOI: | 10.1007/s11623-023-1804-y |