ஒரு சமன்பாட்டின் தீர்களின் கணம் முடிவுறு கணமாகக் கட்டுப்படுத்தப்பட்டால், தீர்வுகளை முரட்டுவழிமுறையில் ([Brute-force search) காணலாம். அதாவது தீர்வுகளாக இருக்கக்கூடும் என்ற மதிப்புகளை ஒவ்வொன்றாகச் சமன்பாட்டில் பதிலிட்டு சமன்பாடு நிறைவுபெறுகிறாதா இல்லையா எனக் காணலாம். பதிலிட வேண்டிய மதிப்புகளின் எண்ணிக்கை முடிவுறு எண்ணாக இருப்பினும், மிகப்பெரிய எண்ணாக இருக்கும்பட்சத்தில் அவை அனைத்தையும் பிரதியிட்டு தீர்வா இல்லையா என்ற முடிவெடுப்பதற்கு அதிகக் காலவளவும் முயற்சியும் தேவைப்படும். எனவே இது நடைமுறையில் எளிதானதல்ல.

சிக்கல் தீர்வுகாணும் முறைகளில், சில நேரங்களில் முயன்று தெரிதல் முறை வெற்றியைத் தரலாம். ஒரு சமன்பாட்டின் வகையைக் கொண்டோ அல்லது அதே வகையிலான வேறொரு ஒத்த, ஏற்கனவே தீர்வறியப்பட்ட சமன்பாட்டின் தீர்வின் தன்மையைக் கொண்டோ அச்சமன்பாட்டின் தீர்வினை ஊகிக்கலாம். ஊகிக்கப்பட்டத் தீர்வு தவறாக இருந்தால், முதல்முறையின் ஊகத்தின் அனுபத்தினால் அடுத்தமுறை சரியான வழியில் ஊகிக்க இயலும்.

அடிப்படை இயற்கணிதம்
தீர்வுகாணும் முறைகள்
முரட்டுவழித் தேடல், சோதித்துப் முயன்று தெரிதல், ஊகித்தல்
பல்லுறுப்புக்கோவைச் சமன்பாடுகள்