হ্যাঁ, মিনিস্যাট এবং ওয়াকস্যাটের মধ্যে একটি বড় পার্থক্য রয়েছে। প্রথমত, স্পষ্ট করে বলি - MiniSAT হ'ল ডিপিএল / সিডিসিএল অ্যালগরিদমগুলির জেনেরিক শ্রেণির একটি নির্দিষ্ট প্রয়োগ যা ব্যাকট্র্যাকিং এবং ক্লজ লার্নিং ব্যবহার করে, অন্যদিকে ওয়াকস্যাট এমন একটি অ্যালগরিদমের সাধারণ নাম যা লোভী পদক্ষেপ এবং এলোমেলো পদক্ষেপের মধ্যে পরিবর্তিত হয়।
সাধারণত ডিপিএলএল / সিডিসিএল কাঠামোগত স্যাট উদাহরণগুলিতে অনেক দ্রুত এবং ওয়াকস্যাটটি এলোমেলো কে-স্যাট- তে দ্রুত । শিল্প ও প্রয়োগিত স্যাট উদাহরণগুলির অনেকগুলি কাঠামো থাকে, তাই ডিপিএলএল / সিডিসিএল বেশিরভাগ আধুনিক স্যাট সলভারগুলিতে প্রভাবশালী। উদাহরণস্বরূপ একটি কৌশল উদাহরণস্বরূপ, পোর্টফোলিও সমাধানকারীদের জনপ্রিয় হয়ে উঠার এক কারণ যা হতে পারে।
আপনার দাবির সাথে আমি প্রচুর ইস্যুটি নিয়েছি যে সেই পৃষ্ঠায় থাকা দৃষ্টান্তগুলিতে মিনিস্যাটের চেয়ে ওয়াকস্যাটটি আরও দ্রুত is একটি জিনিস হিসাবে, সেখানে স্যাট উদাহরণগুলির গিগাবাইট রয়েছে - আপনি তাদের তুলনা করার জন্য কতজন চেষ্টা করেছিলেন? ওয়াকস্যাট বেশিরভাগ কাঠামোগত দৃষ্টান্তের ক্ষেত্রে মোটেই প্রতিযোগিতামূলক নয়, এ কারণেই এটি প্রায়শ প্রতিযোগিতায় দেখা যায় না।
একদিকে নোট - বিজয় ঠিক বলেছেন যে মিনিস্যাটটি এখনও প্রাসঙ্গিক। আসলে, কারণ এটি ওপেন সোর্স এবং ভালো করে লেখা আছে, MiniSAT হয় সমাধানকারী অর্ডার একটি প্রদত্ত অপ্টিমাইজেশান প্রতিশ্রুতি আছে যা প্রদর্শন করার জন্য বীট। অনেকে তাদের অপ্টিমাইজেশন প্রদর্শন করতে মিনিস্যাটকে নিজেই টুইট করেন - সাম্প্রতিক স্যাট প্রতিযোগিতায় "মিনিস্যাট হ্যাক" বিভাগটি দেখুন।