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