دورية أكاديمية
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 |
كن أول من يترك تعليقا!