संतोषजनक एल्गोरिदम का उपयोग करके प्राइम इम्प्लिकेंट की गणना

प्राइम इम्प्लिकेंट की गणना के कई और महत्वपूर्ण आवेदन हैं, जिनमें स्वचालित तर्क, गैर-एकरूप तर्क, इलेक्ट्रॉनिक डिज़ाइन स्वचालन आदि शामिल हैं। लेखक प्रस्तावित सूत्रों के न्यूनतम आकार के प्राइम इम्प्लिकेंट की गणना के लिए एक नया मॉडल और एल्गोरिदम वर्णन करते हैं। प्रस्तावित दृष्टिकोण न्यूनतम आकार के प्राइम इम्प्लिकेंट की गणना के लिए एक पूर्णांक रेखीय कार्यक्रम (ILP) निर्माण पर आधारित है, जो मौजूदा निर्माणों को सरल बनाता है। इसके अलावा, वे ILPs को हल करने के लिए दो नए एल्गोरिदम प्रस्तुत करते हैं, जो दोनों एक संतोषजनकता (SAT) के लिए एल्गोरिदम के शीर्ष पर बनाए गए हैं। प्रस्तावित SAT एल्गोरिदम के संगठन को देखते हुए, परिणामी ILP प्रक्रियाएँ शक्तिशाली खोज प्रूनिंग तकनीकों को लागू करती हैं, जिनमें एक गैर-कालक्रमित बैकट्रैकिंग खोज रणनीति, क्लॉज़ रिकॉर्डिंग प्रक्रियाएँ और आवश्यक असाइनमेंट की पहचान शामिल हैं। कई बेंचमार्क उदाहरणों पर प्राप्त प्रयोगात्मक परिणाम संकेत करते हैं कि प्रस्तावित मॉडल और एल्गोरिदम अन्य मौजूदा समाधानों की तुलना में काफी अधिक कुशल हैं।