પ્રક્રિયાના ઓપ્ટિમાઈજેશન માટે કેટલાક તાર્કિક અથવા સૈદ્ધાંતિક નિર્ણયો જરૂરી છે. અને કોમ્પ્યુટર કેટલાક એવા જ સંતુલન સમીકરણો અથવા બિલકુલ એના જેવા જ નિવારકોનો ઉપયોગ પેલા સમીકરણોનો ઉકેલ મેળવવા કરે છે
आणि आपण असे म्हणू शकता की प्रक्रियेच्या ऑप्टिमायझेशनसाठी काही तार्किक निर्णय किंवा सैद्धांतिकदृष्ट्या ती समीकरणे ठराविक कोर्सद्वारे सोडविण्याकरिता संगणकाद्वारे काही शिल्लक समीकरणे वापरली जातात किंवा त्या सारखे इतर काही सॉल्व्हर्स वापरली जातात.