আমি একটি ভিএলএসআই সম্মেলনে অল-স্যাট সম্পর্কে আরও একটি সাম্প্রতিক (২০১৪) পেপার পেয়েছি, সুতরাং এটি অবশ্যই ব্যবহারিক দিকটির দিকে তাকাতে হবে (যা এখানে ওপি-র প্রশ্নের সাথে সামঞ্জস্যপূর্ণ বলে মনে হচ্ছে, যদিও সাধারণভাবে সিটিওরি.এসই এর সাথে কম হয়েছে):
- ইয়িনলে ইউ, প্রমোদ সুব্রমনায়ণ, নেস্তান সিসকারিদেজে, শারদ মালিক, ভিএলএসআই ডিজাইন ২০১৪ দ্বারা "অল-স্যাট, ন্যূনতম ব্লকিং ক্লজগুলি ব্যবহার করছে" do ডও : 10.1109 / ভিএলএসআইডি ২২.২২ ।
আইইইই সাবস্ক্রিপশনবিহীনদের জন্য, সুব্রামায়ানের প্রিন্সটনের ওয়েব পৃষ্ঠায় একটি বিনামূল্যে কপি রয়েছে । (তিনি তার কাগজপত্রের অনুলিপিগুলি সংরক্ষণ / বিতরণ করার জন্য একটি ফাইল-ভাগ করে নেওয়ার পরিষেবা ব্যবহার করেন এবং আমি নিশ্চিত না যে এই ইউআরএলগুলি কতটা স্থিতিশীল, সুতরাং এই চক্রাকার লিঙ্কটি))
এই কাগজের সংক্ষেপে মনে হচ্ছে:
আমাদের অবদান, অ-বিতর্ক-ডিসেম্বর অ্যালগরিদম, অত্যন্ত সংক্ষিপ্ত ব্লকিং ক্লজ তৈরি করে যার মধ্যে सॉলভারের মধ্যে অন্তর্ভুক্ত কোনও চলক থাকে না of নোট করুন যে সাধারণত একটি সন্তুষ্টিজনক মিনিটের মধ্যে বেশিরভাগ ভেরিয়েবল অন্তর্ভুক্ত থাকে। সংক্ষিপ্ত ব্লকিং ক্লজগুলি সলভার পারফরম্যান্সের জন্য খুব উপকারী যেমন মূল্যায়ন দ্বারা প্রদর্শিত হয়।
তাদের বাস্তবায়ন মিনিস্যাটে তৈরি করে। তাদের সম্প্রসারণের উত্স কোডটি সর্বজনীনভাবে উপলভ্য বলে মনে হচ্ছে না। হায় আফসোস-এর ক্ষেত্রে এটি একটি অভ্যাস বলে মনে হয়, সুতরাং পরীক্ষামূলক ফলাফল রয়েছে এমন ক্ষেত্রগুলিতে এমন কাগজপত্রগুলি মারতে কিছু বেশি বা কম স্ট্র-ম্যানকে সহজ অ্যালগরিদম সেটআপ করে এবং খুব কমই সরাসরি তুলনা করা যায় (পরীক্ষামূলক বিবেচনায়) ফলাফল) অল-স্যাট এর জন্য অন্য যে কোনও প্রকাশিত অ্যালগরিদম সহ। জব্বার এট আল-র কাগজ। বিজয় ডি দ্বারা উল্লিখিত এছাড়াও এই জাতীয়।
যেহেতু আমি এটি অন্য উত্তরে উল্লিখিত দেখতে পাচ্ছি না (তবে কেবলমাত্র আন্দ্রে সালামনের মন্তব্যে), [বরং জনপ্রিয়] ব্লকিং-ক্লজ টেকিনিকটি চালু হয়েছিল: