DPLL هو اختصار لـ “Davis–Putnam–Logemann–Loveland”، وهو خوارزمية يستخدمها الحاسوب لحل مشكلات الرياضيات الصيغية الحاسوبية بطريقة فعالة وسريعة. تستخدم الخوارزمية في مجالات مثل تحليل الدوائر الرقمية والذكاء الاصطناعي والتعلم الآلي وغيرها. وتعتمد الخوارزمية على تحويل المشكلة الصيغية إلى صيغة معادلة بولية ومن ثم حلها باستخدام قواعد الإنفراد والإستنتاج البولي.
0
