دورية أكاديمية
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 |
تدمد: | 16140702 18622607 |
---|---|
DOI: | 10.1007/s11623-023-1804-y |