एसएटी सॉल्वर बड़े उदाहरणों को हल करने में अधिक कुशल हो रहे हैं और विभिन्न संदर्भों में बैक-एंड के रूप में उपयोग किए जा रहे हैं। जब भी कोई एक विशिष्ट डोमेन में किसी समस्या को हल करने के लिए उनका उपयोग करना चाहता है, तो उसे एक तदर्थ एन्कोडिंग के साथ आना होगा, जिसमें न केवल समाधान का सही सेट है, बल्कि एक रूप में बाधाओं (यहां तक कि निरर्थक) को भी रखा गया है। जो सॉल्वरों के उत्तराधिकार को तेजी से हल खोजने में मदद करता है।
इस तरह के कई एनकोडिंग मेरे लिए बहुत आम हैं, उदाहरण के लिए: यह मानते हुए कि नोड्स का एक परिमित सेट एक पेड़ के रूप में, या एक डीएजी के रूप में जुड़ा हुआ है, या एक सूची को क्रमबद्ध किया गया है ...
वहाँ अनुकूलित समाधान के साथ आम समस्याओं के लिए आम एन्कोडिंग का भंडार / नुस्खा पुस्तक है?