برای مجموعه از چندین اصطلاحی مجهول، الگوریتم های وجود دارد که تعیین میکنند آیا حل های مرکب محدودی دارند یا خیر، واگر این تعداد محدود است، برای محاسبه جواب هاست.