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 di determinare se una formula booleana è soddisfacibile; Entscheidungsproblem der theoretischen Informatik; problème de décision, qui détermine si une formule Booléenne est vrai.; problem of determining if a Boolean formula could be made true; problém; проблема визначення того, чи можна зробити булеву формулу істинною; problema per determinar si una fórmula booleana es podria fer certa; 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>