अगर मुझे कोई कठिन समस्या है, तो एक मानक दृष्टिकोण इसे SAT उदाहरण के रूप में व्यक्त करना है और उस पर SAT solver चलाने का प्रयास करना है। एक और मानक तरीका यह है कि इसे एक बाधा संतुष्टि समस्या के रूप में व्यक्त किया जाए, और एक सीएसपी सॉल्वर का उपयोग करने का प्रयास किया जाए। दोनों को लगता है कि किस तरह की समस्याएं स्वाभाविक रूप से उनके इनपुट प्रारूप में स्वाभाविक रूप से व्यक्त की जा सकती हैं।
किसी समस्या के लिए, पहचानने के लिए क्या कोई दिशा-निर्देश या नियम हैं, जो अच्छे परिणाम प्राप्त करने की अधिक संभावना है? क्या कोई मार्गदर्शन किसी के बारे में पेशकश कर सकता है कि किस तरह की समस्याओं को सीएसपी सॉल्वर, या इसके विपरीत की तुलना में सैट सॉल्वर द्वारा बेहतर तरीके से संभाला जा सकता है?
(जाहिर है, कुछ आसान समस्याएं हैं, जो दोनों दृष्टिकोणों द्वारा हल की जा सकती हैं। कुछ कठिन समस्याएं भी हैं, जो किसी भी दृष्टिकोण से उपयोगी रूप से हल नहीं हो सकती हैं। आइए एक तरफ सेट करें। ऐसा मामला जहां मार्गदर्शन सबसे अधिक सहायक होता है, जहां या तो एसएटी हैं। सॉल्वर CSP सॉल्वर्स की तुलना में बेहतर प्रदर्शन करते हैं, या जहाँ CSP सॉल्वर्स सैट सॉल्वर्स से बेहतर प्रदर्शन करते हैं। मैं कैसे पहचान सकता हूँ जब सैट सॉल्वर CSP सॉल्वर की तुलना में बेहतर फिट होने की संभावना रखता है, या जब CSP सॉल्वर से बेहतर फिट होने की संभावना होती है। एक सैट सॉल्वर - यानी, जो पहले प्रयास करने के लिए दृष्टिकोण?)