problema de satisfacibilidad booleana; 布林可滿足度問題; SAT-probléma; Problema de satisfacibilitat booleana; Erfüllbarkeitsproblem der Aussagenlogik; مسئله صدق‌پذیری دودویی; 布尔可满足性问题; problema satisfiabilității booleene; 充足可能性問題; задача здійсненності булевих формул; 布爾可滿足性問題; SAT; 충족 가능성 문제; Bulea plenumebloproblemo; Problém splnitelnosti booleovské formule; soddisfacibilità booleana; problème SAT; SAT problem; САТ проблем; problem Boolove zadovoljivosti; בעיית הספיקות; lauselogiikan toteutuvuusongelma; vervulbaarheidsprobleem; persoalan keterpuasan boolean; problem spełnialności; САТ проблем; 布林可滿足性問題; SAT problem; problema de satisfatibilidade booleana; 布爾可滿足性問題; Задача выполнимости булевых формул; boolean satisfiability problem; مسألة استيفاء منطقية; 布尔可满足性问题; ปัญหาความสอดคล้องแบบบูล; 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; SAT; Sat4j; probleme SAT; Выполнимость; Задача ВЫП; Задача SAT; Satisfiability; SAT-Problem; Erfüllbarkeitsproblem; SAT-Solver; Celinho; Problema satisfatibilidade booleana; Problema de satisfatibilidade booleano; مسئله صدق پذیری دودویی; مسئلهٔ صدق پذیری دودویی; 布爾可滿足性問題; 布林可滿足性問題; Проблем буловске задовољивости; Сат-проблем; Буловски проблем задовољивости; Сат проблем; Проблем задовољивости; 充足可能性; Problem sat; Problem spełnialności formuł logicznych; SAT проблема; задача здійснимості бульових формул; задача здійснимості булевих формул; בעיית SAT; בעיית הספיקות בתחשיב הפסוקים; kielégíthetőségi probléma; Bulea problemo pri kontentigebleco; SAT; boolean satisfiability problem; problema di soddisfacibilità booleana; SAT-ongelma; propositional satisfiability problem; SATISFIABILITY; SAT; قابلية الإرضاء; SATISFIABILITY; SAT; 충족 가능성문제; 충족가능성문제; 충족가능성 문제