برنامه‌نویسی منطقی محدودیت و بهینه‌سازی ترکیبی