Category:Boolean satisfiability problem

problema de satisfacibilidad booleana (es); SAT problem (sr-el); SAT-probléma (hu); 布尔可满足性问题 (zh-hans); Bulea plenumebloproblemo (eo); SAT problem (sh); 충족 가능성 문제 (ko); Задача здійсненності бульових формул (uk); Задача выполнимости булевых формул (ru); soddisfacibilità booleana (it); Erfüllbarkeitsproblem der Aussagenlogik (de); problema de satisfatibilidade booleana (pt); مسئله صدق‌پذیری دودویی (fa); САТ проблем (sr-ec); 布尔可满足性问题 (zh); САТ проблем (sr); problema satisfiabilității booleene (ro); 布爾可滿足性問題 (zh-hk); Vervulbaarheidsprobleem (nl); ปัญหาความสอดคล้องแบบบูล (th); persoalan keterpuasan boolean (id); problem spełnialności (pl); בעיית הספיקות (he); 布林可滿足性問題 (zh-tw); 布爾可滿足性問題 (zh-hant); 充足可能性問題 (ja); problème SAT (fr); lauselogiikan toteutuvuusongelma (fi); boolean satisfiability problem (en); قابلية الإرضاء (ar); Problém splnitelnosti booleovské formule (cs); Problema de satisfacibilitat booleana (ca) problema di determinare se una formula booleana è soddisfacibile (it); Entscheidungsproblem der theoretischen Informatik (de); problém (cs); problem of determining if a Boolean formula could be made true (en) Problema de satisfabilidad, Problema de satisfabilidad booleana (es); kielégíthetőségi probléma (hu); 3SAT, Выполнимость, 3-SAT, Задача ВЫП, Задача SAT (ru); Satisfiability, SAT-Problem, Erfüllbarkeitsproblem, SAT-Solver (de); Celinho, Problema satisfatibilidade booleana, Problema de satisfatibilidade booleano (pt); مسئله صدق پذیری دودویی, مسئلهٔ صدق پذیری دودویی (fa); 布爾可滿足性問題, 布林可滿足性問題 (zh); Проблем буловске задовољивости, Сат-проблем, Буловски проблем задовољивости, Сат проблем, Проблем задовољивости (sr); 充足可能性, 確率伝播法 (ja); Boolean satisfiability problem (th); Problem sat, Problem spełnialności formuł logicznych (pl); Задача здійснимості бульових формул, SAT проблема, Задача здійснимості булевих формул (uk); בעיית SAT, בעיית הספיקות בתחשיב הפסוקים (he); SAT, Sat4j, probleme SAT (fr); SAT, boolean satisfiability problem, problema di soddisfacibilità booleana (it); SAT-ongelma (fi); propositional satisfiability problem, SATISFIABILITY, SAT (en); Bulea problemo pri kontentigebleco (eo); SATISFIABILITY, SAT (cs); 충족 가능성문제, 충족가능성문제, 충족가능성 문제 (ko)