2
सैट सॉल्वरों के लिए एन-आउट-ऑफ-एन-एन बाधा
मैं किसी समस्या का एनकोड करने के लिए SAT सॉल्वर का उपयोग कर रहा हूँ, और SAT उदाहरण के भाग के रूप में, मेरे पास बूलियन वैरिएबल जहाँ यह इरादा है कि इनमें से एक सही होना चाहिए और बाकी सब होना चाहिए झूठा होना। (मैंने कभी-कभी इसे "एक-गर्म" एन्कोडिंग …