Category:Boolean satisfiability problem

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
boolean satisfiability problem 
problem of determining if a Boolean formula could be made true
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Instance ofdecision problem,
NP-complete
Part ofKarp's 21 NP-complete problems
Authority control
Blue pencil.svg
problema de satisfacibilidad booleana (es); problème SAT (fr); SAT problem (sr-el); Задача выполнимости булевых формул (ru); Bulea plenumebloproblemo (eo); SAT-probléma (hu); 충족 가능성 문제 (ko); Problema de satisfacibilitat booleana (ca); Задача здійсненності бульових формул (uk); Erfüllbarkeitsproblem der Aussagenlogik (de); problema de satisfatibilidade booleana (pt); soddisfacibilità booleana (it); САТ проблем (sr-ec); 布尔可满足性问题 (zh); САТ проблем (sr); problema satisfiabilității booleene (ro); 布爾可滿足性問題 (zh-hk); ปัญหาความสอดคล้องแบบบูล (th); Vervulbaarheidsprobleem (nl); persoalan keterpuasan boolean (id); problem spełnialności (pl); בעיית הספיקות (he); SAT problem (sh); 布爾可滿足性問題 (zh-hant); مسئله صدق‌پذیری دودویی (fa); 充足可能性問題 (ja); lauselogiikan toteutuvuusongelma (fi); boolean satisfiability problem (en); قابلية الإرضاء (ar); 布尔可满足性问题 (zh-hans); 布林可滿足性問題 (zh-tw) problem of determining if a Boolean formula could be made true (en) SAT, Boolean satisfiability problem, Problema di soddisfacibilità booleana (it); 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); Problema de satisfabilidad, Problema de satisfabilidad booleana (es); SAT-ongelma (fi); propositional satisfiability problem, SATISFIABILITY, SAT (en); Bulea problemo pri kontentigebleco (eo); SAT, Sat4j, probleme SAT (fr); 충족 가능성문제, 충족가능성문제, 충족가능성 문제 (ko)

Subcategories

This category has the following 4 subcategories, out of 4 total.

Media in category "Boolean satisfiability problem"

The following 24 files are in this category, out of 24 total.