
Also known as 3-SAT, 3CNFSAT, 3-satisfiability, 3SAT
REDIRECT Boolean satisfiability problem#3-satisfiability
3 سات اسم يطلق على نوع من المسائل الرياضياتية والمعلوماتية في ميدان المنطق. تسمى المسألة 3 سات 3 SAT اختصارا ل 3 satisfiability. و تبحث هذه المسألة في ما إذا كانت من نوع Conjunctive normal form تتكون من 3 متغيرات قابلة لأن تكون صحيحة.مسألة 3SAT هي مسألة مشتقة من المسألة العامة SAT، حيث في كل قوس يوجد ثلاث متغيرات بالضبط. وهي أيضا من الكاملة.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).