1
सैट बनाम कांस्टीट्यूशन संतुष्टि का उपयोग कब करें?
अगर मुझे कोई कठिन समस्या है, तो एक मानक दृष्टिकोण इसे SAT उदाहरण के रूप में व्यक्त करना है और उस पर SAT solver चलाने का प्रयास करना है। एक और मानक तरीका यह है कि इसे एक बाधा संतुष्टि समस्या के रूप में व्यक्त किया जाए, और एक सीएसपी …