satisfiability

8गर्मी

1उत्तर

बाधा हल करने में सीएसपी-सॉल्वर पर एसएमटी-सॉल्वर का क्या फायदा है?

एसएमटी-सॉल्वर का उपयोग बाधा हल करने के लिए किया जा सकता है। जैसा कि हम जानते हैं, सीएसपी सॉल्वर भी कई सालों से बाधा हल करने के लिए हैं। तो सीएसपी हलकों पर एसएमटी-सॉल्वर का क्या फायदा है?

constraint-programming satisfiability 2012-05-14

---

6गर्मी

1उत्तर

बूलियन संतुष्टि - एल्गोरिदम

मेरे पास एक बूलियन सूत्र है: (x_ {1} या x_ {2}) और (x_ {3} या x_ {4}) और ..... और (x_ {2r-1 } या x_ {2r}), जहां x_ {i} सेट से संबंधित है: {p_ {1}, p_ {2}, ... p_ {99}, ~ p_ {1}, ~ p_ { 2}, ... ~ p_ {9

algorithm satisfiability 2012-07-06

---

12गर्मी

2उत्तर

क्या सभी समाधान खोजने के लिए एसएटी सॉल्वर का उपयोग किया जा सकता है?

मैंने quite interesting question पर जो जवाब दिया था, उसका उत्तर लिखा, लेकिन दुर्भाग्य से प्रश्न पोस्ट करने से पहले इसके लेखक द्वारा प्रश्न हटा दिया गया था। मैं प्रश्न का सारांश दोबारा पोस्ट कर रहा हूं

satisfiability 2012-09-03

---

11गर्मी

4उत्तर

लोगों को सबसे संतुष्टि के लिए टीमों में विभाजित करें

बस एक जिज्ञासा प्रश्न। याद रखें जब कक्षा समूह में प्रोफेसर लोगों को एक निश्चित संख्या (n) के समूहों में विभाजित करेगा? मेरी प्रोफेसरों में से कुछ n लोग एक साथ काम करना चाहता है और n लोगों की एक सूची ल

algorithm knapsack-problem satisfiability 2010-05-16

---

5गर्मी

1उत्तर

बूलियन अभिव्यक्तियों का न्यूनतमकरण एनपी-पूर्ण है?

मुझे पता है कि बूलियन संतुष्टि एनपी-पूर्ण है, लेकिन बूलियन अभिव्यक्ति का न्यूनतमकरण/सरलीकरण है, जिसके द्वारा मेरा मतलब है प्रतीकात्मक रूप में एक दी गई अभिव्यक्ति लेना और प्रतीकात्मक रूप, एनपी-पूर्ण मे

algorithm complexity-theory np-complete simplification satisfiability 2009-03-01

---

5गर्मी

1उत्तर

कंपाइलर्स जो एसएटी समस्याओं में सत्यापन एल्गोरिदम का अनुवाद करते हैं

प्रमाण यह है कि एसएटी एनपी-पूर्ण है एक रचनात्मक प्रमाण है, इसलिए इसे एक कार्यक्रम के रूप में लागू करना संभव होना चाहिए। क्या किसी ने ऐसा किया है? मैं एक प्रोग्राम (एक कंपाइलर) की तलाश में हूं, जो एक प

compiler-construction np-complete satisfiability 2011-12-12

---