New worst-case upper bounds for SAT

פרסום מחקרי: פרסום בכתב עתמאמרביקורת עמיתים

69 ציטוטים ‏(Scopus)

תקציר

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
פורסם באופן חיצוניכן

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'New worst-case upper bounds for SAT'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי