सभी #SAT सॉल्वरों को मैं जानता हूं, जैसे RelSat, C2D, केवल संतोषजनक उदाहरणों की संख्या वापस करते हैं। लेकिन मैं उनमें से प्रत्येक उदाहरण को जानना चाहता हूं?
क्या ऐसा #SAT सॉल्वर है या मुझे ऐसा करने के लिए उपलब्ध #SAT सॉल्वर को कैसे संशोधित करना चाहिए?
धन्यवाद।
7
इसे अक्सर "ऑल-सॉल्यूशन सैट सॉल्वर" कहा जाता है, लेकिन यह शेल्फ से उपलब्ध नहीं लगता है। संदर्भ मैं मिनीसैट और अन्य सॉल्वरों के संशोधनों के बारे में बात कर सकता हूं, आमतौर पर एक समाधान को बाहर करने के लिए अवरुद्ध खंडों को जोड़कर जब यह पाया जाता है। दूसरी ओर, अधिकांश बाधा समाधान मानक के रूप में सभी समाधानों का उत्पादन करने का समर्थन करते हैं।
—
आंद्र सलाम जूल
एक दृष्टिकोण एक CNF → DNF रूपांतरण है जिसके लिए बहुत सारा साहित्य है
—
vzn