English Unsatisfiable core Cited by user RDBrown on 09 Oct 2022 In mathematical logic, given an unsatisfiable Boolean propositional formula in conjunctive normal form, a subset of clauses whose conjunction is still unsatisfiable is…
Hungarian Logikai kielégítési probléma Cited by user K karesz on 09 Jun 2022 A logikában és a számítástechnikában a logikai kielégítési probléma (néha propozíciós kielégítési problémának nevezik, és rövidítve SATISFIABILITY, SAT vagy B-SAT) annak…
Arabic مسألة قابلية الإرضاء المنطقية Cited by user Maher (Beit al Hikma) on 15 Jul 2021 مسألة قابلية الإرضاء المنطقية، في المنطق وعلوم الحاسوب، (تسمى أحيانًا مسألة قابلية الإرضاء الافتراضية وتختصر إلى قابلية الإرضاء أو إس إيه تي أو بي-إس إيه تي) هي مسألة تحدي…
English Boolean satisfiability problem Cited by user Heitorpb on 20 Feb 2021 In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY, SAT or B-SAT) is…