Category:Boolean satisfiability problem

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
boolean satisfiability problem 
Wikipedia-logo-v2.svg  Wikipedia
Instance of decision problem,
NP-complete
Authority control
Wikidata
Blue pencil.svg
problema de satisfacibilidad booleana (es); problème SAT (fr); SAT problem (sr-el); Problema de satisfacibilitat booleana (ca); مسئله صدق‌پذیری دودویی (fa); Erfüllbarkeitsproblem der Aussagenlogik (de); problema de satisfatibilidade booleana (pt); Bulea plenumebloproblemo (eo); САТ проблем (sr-ec); 布尔可满足性问题 (zh); САТ проблем (sr); problema satisfiabilității booleene (ro); 充足可能性問題 (ja); 布爾可滿足性問題 (zh-hk); Vervulbaarheidsprobleem (nl); ปัญหาความสอดคล้องแบบบูล (th); problem spełnialności (pl); בעיית הספיקות (he); SAT problem (sh); 布爾可滿足性問題 (zh-hant); Задача здійсненності бульових формул (uk); soddisfacibilità booleana (it); 충족 가능성 문제 (ko); boolean satisfiability problem (en); قابلية الإرضاء (ar); 布尔可满足性问题 (zh-hans); Задача выполнимости булевых формул (ru) Problema de satisfabilidad, Problema de satisfabilidad booleana (es); 充足可能性, 確率伝播法 (ja); SAT, Sat4j, probleme SAT (fr); Задача здійснимості бульових формул, SAT проблема, Задача здійснимості булевих формул (uk); Boolean satisfiability problem (th); Problem sat, Problem spełnialności formuł logicznych (pl); בעיית SAT, בעיית הספיקות בתחשיב הפסוקים (he); SAT, Boolean satisfiability problem, Problema di soddisfacibilità booleana (it); 3SAT, Выполнимость, 3-SAT, Задача ВЫП, Задача SAT (ru); Bulea problemo pri kontentigebleco (eo); Satisfiability, SAT-Problem, Erfüllbarkeitsproblem, SAT-Solver (de); Celinho, Problema satisfatibilidade booleana, Problema de satisfatibilidade booleano (pt); 충족 가능성문제, 충족가능성문제, 충족가능성 문제 (ko); مسئله صدق پذیری دودویی, مسئلهٔ صدق پذیری دودویی (fa); 布爾可滿足性問題, 布林可滿足性問題 (zh); Проблем буловске задовољивости, Сат-проблем, Буловски проблем задовољивости, Сат проблем, Проблем задовољивости (sr)

Subcategories

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

Media in category "Boolean satisfiability problem"

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