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