मैं विकिपीडिया पर पढ़ता हूं कि एकीकरण संतोषजनक समस्या को हल करने की एक प्रक्रिया है।
उसी समय, मुझे पता है कि ऐसे सॉल्वर को "सैट सॉल्वर" या "एसएमटी सॉल्वर" कहा जाता है। तो, क्या वे एक ही चीज़ के लिए अलग-अलग नाम हैं?
यदि आप कहते हैं कि वे अलग-अलग हैं, तो कृपया मेरे उपचार में एक दोष बताएं।
कंप्यूटर विज्ञान अक्सर "संतोषजनक समस्या" को संदर्भित करता है, लेकिन यह वास्तव में सामान्य समस्या का एक विशेष मामला है [एकीकरण पर विकिपीडिया लेख में संदर्भित] जिसमें "वहाँ मौजूद" और "सभी के लिए" जैसे अन्य जटिल खंड हो सकते हैं। केवल बूलियन चर। सीएस में, "संतोषजनकता समस्या" के संदर्भ में प्रस्तावात्मक या बूलियन संतोषजनकता समस्या के लिए संक्षिप्त रूप से संक्षिप्त हो सकता है, संक्षिप्त रूप से SAT। SAT में एकीकरण प्रक्रिया को रिज़ॉल्यूशन
—
vzn