DPLL algorithm/vâže/ذخیره واژهاشتراکهمهاصطلاحات تخصصی ویکیپدیااصطلاحات تخصصی ویکیپدیاالگوریتم DPLLواژه قبلی: DES-Xواژه بعدی: Damm algorithm