دورية أكاديمية
Preprocessing of Propagation Redundant Clauses
| العنوان: | Preprocessing of Propagation Redundant Clauses |
|---|---|
| المؤلفون: | Reeves, Joseph E.Aff1, IDs10817023096813_cor1, Heule, Marijn J. H., Bryant, Randal E. |
| المصدر: | Journal of Automated Reasoning. 67(3) |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 01687433 15730670 |
|---|---|
| DOI: | 10.1007/s10817-023-09681-3 |