البرمجة, الذكاء الاصطناعي, المنطق الرياضي, علوم الحاسوبإشباع الوحدات النمطية (Satisfiability Modulo Theories)