2006 में (जब मुझे लगता है) कुछ समय के लिए एआईईईआर लाइब्रेरी को संभालने और इन्वर्टर ग्राफ जारी करने के बाद, कुछ सर्किट एसएटी सॉल्वर 2006-2008 में जारी किए गए थे, और कुछ एसएटी दौड़ / प्रतियोगिताओं में एआईजी ट्रैक थे। हालाँकि तब से ऐसा लगता है कि ध्यान पूरी तरह से एसएमटी पर है या क्लॉस सैट सॉल्वरों में सुधार पर है।
सर्किट सैट पर ध्यान केंद्रित करने के लिए मुझे बहुत समझदारी है: कई अगर ज्यादातर समस्याएं स्वाभाविक रूप से सीएनटी की तुलना में सर्किट सैट के रूप में व्यक्त नहीं होती हैं; सर्किट संरचनात्मक जानकारी प्रदान करते हैं जो CNF से रिवर्स इंजीनियर नहीं हो सकते, लेकिन सर्किट हमेशा CNF में तब्दील हो सकते हैं; और तर्क संश्लेषण का कम से कम औद्योगिक रूप से महत्वपूर्ण क्षेत्र एआईजी के लिए विशेष रूप से अच्छा है।
तो क्या हुआ? क्या यह पता चला कि अतिरिक्त संरचनात्मक जानकारी सॉल्वरों की मदद नहीं करती है? क्या AIG- आधारित SAT एक असफल प्रयोग को हल कर रहा था?