एनपी-पूर्ण बूलियन समाधानाची समस्या
त्याचप्रमाणे, अल्गोरिदम एनपी-पूर्ण नॅपसॅक समस्या द्विघात वेळेपेक्षा कमी आकारात सोडवू शकतात आणि सॅट सॉल्व्हर्स नियमितपणे एनपी-पूर्ण बूलियन समाधानाची समस्या हाताळतात.
सॅट हँडलर्स (SAT handlers) कार्यक्षम अल्गोरिदम (Efficient algorithms) वापरून नियमितपणे सोडवल्या जाणाऱ्या मोठ्या उदाहरणांचे वैशिष्ट्य असलेल्या आणखी एका समस्येचे उदाहरण काय आहे?