যদি আমার কোনও সমস্যা হয় তবে একটি মানক পদ্ধতির হ'ল এটি একটি স্যাট উদাহরণ হিসাবে প্রকাশ করা এবং এটিতে একটি স্যাট সলভার চালানোর চেষ্টা করা। আর একটি স্ট্যান্ডার্ড পদ্ধতির সীমাবদ্ধতা সন্তুষ্টি সমস্যা হিসাবে এটি প্রকাশ করা, এবং একটি সিএসপি সলভার ব্যবহার করার চেষ্টা করা try দু'জনে কোনওভাবেই অস্পষ্টভাবে অনুরূপ অনুভূত হয় যে কী ধরণের সমস্যাগুলি প্রাকৃতিকভাবে তাদের ইনপুট ফর্ম্যাটে প্রকাশ করা যেতে পারে।
কোনও প্রদত্ত সমস্যার জন্য কীভাবে চিনতে হবে তার জন্য কি কোনও নির্দেশিকা বা আঙ্গুলের নিয়ম রয়েছে, কোন পদ্ধতির ভাল ফল পাওয়ার সম্ভাবনা বেশি? সিএসপি সলভার বা তার বিপরীতে কোন ধরণের সমস্যা স্যাট সলভার দ্বারা আরও ভালভাবে পরিচালনা করা যায় সে সম্পর্কে কেউ কি কোনও নির্দেশনা দিতে পারেন?
(স্পষ্টতই, কিছু সহজ সমস্যা রয়েছে যা উভয় পদ্ধতির মাধ্যমে সমাধান করা যেতে পারে There কিছু শক্ত সমস্যাও রয়েছে যা উভয় পদ্ধতির মাধ্যমে কার্যকরভাবে সমাধান করা যায় না Let's সেগুলিকে আলাদা করে রাখি guidance নির্দেশিকাটি সর্বাধিক সহায়ক এমন সমস্যাগুলি যেখানে SAT হয় উভয়ই AT সলভাররা সিএসপি সলভারের চেয়ে আরও ভাল পারফরম্যান্স করে বা যেখানে সিএসপি সলভাররা স্যাট সলভারের চেয়ে আরও ভাল পারফর্ম করে। যখন স্যাট সলভার কোনও সিএসপি সলভারের চেয়ে ভাল ফিট হওয়ার সম্ভাবনা থাকে বা যখন কোনও সিএসপি সলভার তার চেয়ে ভাল ফিট হওয়ার সম্ভাবনা থাকে তখন আমি কীভাবে চিনতে পারি? একটি স্যাট দ্রাবক - অর্থাত্ প্রথমে কোন পদ্ধতির চেষ্টা করবেন?)