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