الگوریتم‌های جستجو و بهینه‌سازی در مسائل منطقی