Category:Boolean satisfiability problem

<nowiki>problema de satisfacibilidad booleana; 布ぬの林りん可か滿足まんぞく度ど問題もんだい; SAT-probléma; Problema de satisfacibilitat booleana; Erfüllbarkeitsproblem der Aussagenlogik; مسئله صدق‌پذیری دودویی; 布ぬの尔可满足性せい问题; problema satisfiabilității booleene; 充足じゅうそく可能かのう性せい問題もんだい; Задача здійсненності бульових формул; 布ぬの爾しか可か滿足まんぞく性せい問題もんだい; 충족 가능성 문제; Bulea plenumebloproblemo; Problém splnitelnosti booleovské formule; soddisfacibilità booleana; problème SAT; SAT problem; САТ проблем; problem Boolove zadovoljivosti; בעיית הספיקות; ปัญหาความสอดคล้องแบบบูล; vervulbaarheidsprobleem; persoalan keterpuasan boolean; problem spełnialności; САТ проблем; 布ぬの林りん可か滿足まんぞく性せい問題もんだい; SAT problem; problema de satisfatibilidade booleana; Задача выполнимости булевых формул; 布ぬの爾しか可か滿足まんぞく性せい問題もんだい; boolean satisfiability problem; مسألة قابلية الإرضاء المنطقية; 布ぬの尔可满足性せい问题; lauselogiikan toteutuvuusongelma; problema per determinar si una fórmula booleana es podria fer certa; Entscheidungsproblem der theoretischen Informatik; problem of determining if a Boolean formula could be made true; problème de décision, qui détermine si une formule Booléenne est vrai.; problém; problema di determinare se una formula booleana è soddisfacibile; Problema de satisfabilidad; Problema de satisfabilidad booleana; kielégíthetőségi probléma; Выполнимость; Задача ВЫП; Задача SAT; Satisfiability; SAT-Problem; Erfüllbarkeitsproblem; SAT-Solver; Celinho; Problema satisfatibilidade booleana; Problema de satisfatibilidade booleano; مسئله صدق پذیری دودویی; مسئلهٔ صدق پذیری دودویی; 布ぬの爾しか可か滿足まんぞく性せい問題もんだい; 布ぬの林りん可か滿足まんぞく性せい問題もんだい; Проблем буловске задовољивости; Сат-проблем; Буловски проблем задовољивости; Сат проблем; Проблем задовољивости; 充足じゅうそく可能かのう性せい; 確かく率りつ伝播でんぱ法ほう; Boolean satisfiability problem; Problem sat; Problem spełnialności formuł logicznych; Задача здійснимості бульових формул; SAT проблема; Задача здійснимості булевих формул; בעיית SAT; בעיית הספיקות בתחשיב הפסוקים; SAT; boolean satisfiability problem; problema di soddisfacibilità booleana; Bulea problemo pri kontentigebleco; 충족 가능성문제; 충족가능성문제; 충족가능성 문제; SAT-ongelma; propositional satisfiability problem; SATISFIABILITY; SAT; قابلية الإرضاء; SATISFIABILITY; SAT; SAT; Sat4j; probleme SAT</nowiki>