2
স্যাট সমাধানকারীদের 1-আউট-এর এন সীমাবদ্ধকরণ এনকোডিং
আমি কোনও সমস্যা এনকোড করার জন্য একটি স্যাট সলভার ব্যবহার করছি এবং স্যাট উদাহরণের অংশ হিসাবে আমার কাছে বুলিয়ান ভেরিয়েবল যেখানে এটি উদ্দেশ্যযুক্ত যে এর মধ্যে ঠিক একটি সত্য হওয়া উচিত এবং মিথ্যা হওয়া উচিত । (আমি মাঝে মাঝে এটিকে "ওয়ান-হট" এনকোডিং হিসাবে বর্ণিত দেখেছি))এক্স1, এক্স2, … , এক্সএনx1,x2,…,xnx_1,x_2,\dots,x_n আমি …