ذكاء اصطناعي, علوم الحاسوب, منطق, نظرية التعقيدمسألة الإرضاء المنطقي البولياني (Boolean Satisfiability Problem)