आणि आपण असे म्हणू शकता की प्रक्रियेच्या ऑप्टिमायझेशनसाठी काही तार्किक निर्णय किंवा सैद्धांतिकदृष्ट्या ती समीकरणे ठराविक कोर्सद्वारे सोडविण्याकरिता संगणकाद्वारे काही शिल्लक समीकरणे वापरली जातात किंवा त्या सारखे इतर काही सॉल्व्हर्स वापरली जातात.
বলা যেতে পারে যে কিছু যৌক্তিক সিদ্ধান্ত বা তত্ত্ব দিয়ে প্রক্রিয়া টি অপ্টিমাইজ করা হয়। উপাদান বা শক্তি ভিত্তিক সমিত সমীকরণ গুলি সমাধান করতে কম্পিউটার কিছু কোড ব্যবহার করে, যেমন সমীকরণ সমাধানকারী কোড।