תקציר
Transformation rules constitute a substantial part of the splitting method for handling the SAT problem. This article presents a new transformation rule and two algorithms using such a rule. It is proven that the algorithms have worst-case upper bounds.
שפה מקורית | אנגלית |
---|---|
עמודים (מ-עד) | 397-420 |
מספר עמודים | 24 |
כתב עת | Journal of Automated Reasoning |
כרך | 24 |
מספר גיליון | 4 |
מזהי עצם דיגיטלי (DOIs) | |
סטטוס פרסום | פורסם - 2000 |
פורסם באופן חיצוני | כן |