एक उत्कृष्ट शुरुआती अवलोकन 2009 के निम्नलिखित लेख द्वारा दिया गया है।
तकनीकी पहलुओं में आने के कई तरीके हैं। तुम भी मूल डेविस- Putnam कागज के साथ शुरू कर सकते हैं। यह बेहद स्पष्ट है और इसके विस्तृत उदाहरण हैं। जब एक पाठ्यक्रम में सैट अनुकूलन के बारे में चर्चा की, तो हमने पाया कि कुछ लोग पहले से ही कल्पना कर सकते हैं। डेविस-लोगमैन-लवलैंड पेपर (मुझे लगता है) कम शिक्षाप्रद है, लेकिन यह इतना छोटा है कि आप इसे पढ़ सकते हैं।
अगले 50 वर्षों के घटनाक्रम को पकड़ने के तरीके हो सकते हैं। मैं व्याख्यान स्लाइड की सिफारिश करूंगा। बस 'डीपीएलएल' के लिए खोज करने से कई ट्यूटोरियल अलग हो जाएंगे। यदि आप उनके माध्यम से ब्राउज़ करते हैं, तो मुझे यकीन है कि धुंध कुछ हद तक साफ हो जाएगी। कई उपयोगी सर्वेक्षण भी हैं। झांग-मलिक पेपर शुरू करने के लिए एक अच्छी जगह है। हैंडबुक ऑफ़ सैटिस्फैबिलिटी में कई लेख हैं जो आपको उपयोगी लग सकते हैं।
- क्वेस्ट फॉर एफिशिएंट बुलियन सैटिस्फिबिलिटी सॉल्वर्स , लिंटाओ झांग, शरद मलिक, CAV और CADE 2002 के लिए संयुक्त आमंत्रित पेपर।
- हैंडबुक ऑफ सैटिस्फिबिलिटी , एडिटेड बाय अर्मिन बेरे, मैरिजन हील, हंस वैन मारन, और टोबी वाल्श, 2009
- ईएटीसीएस के बुलेटिन और एम्पैरिकल इवैल्यूएशन ऑफ मॉडर्न सैट सॉल्वर , करीम सकल्लाह, जोआओ मार्किस-सिल्वा, बुलेटिन।
मैं मिकोलाज़ के सुझाव को दूसरा मानता हूं। मिनीसैट कोड स्वच्छ और प्रबंधनीय आकार का है। आप इसके साथ खेल सकते हैं। कई अन्य सॉल्वर हैं जिन्हें आप आज़मा सकते हैं। CryptoMiniSat भी काफी साफ है। आपको आर्मिन बीवर के काम से भी परामर्श करना चाहिए , जो सैट सॉल्वर लिखते हैं और सैट सॉल्वर लिखने के बारे में लिखते हैं।