boolean satisfiability problem (Q875276)
Jump to navigation
Jump to search
problem of determining if a Boolean formula could be made true
- propositional satisfiability problem
- SATISFIABILITY
- SAT
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | boolean satisfiability problem |
problem of determining if a Boolean formula could be made true |
|
Statements
Identifiers
Sitelinks
Wikipedia(26 entries)
- arwiki مسألة قابلية الإرضاء المنطقية
- cawiki Problema de satisfacibilitat booleana
- cswiki Problém splnitelnosti booleovské formule
- dewiki Erfüllbarkeitsproblem der Aussagenlogik
- enwiki Boolean satisfiability problem
- eowiki Bulea plenumebloproblemo
- eswiki Problema de satisfacibilidad booleana
- fawiki مسئله صدقپذیری بولی
- fiwiki Lauselogiikan toteutuvuusongelma
- frwiki Problème SAT
- hewiki בעיית הספיקות
- huwiki Logikai kielégítési probléma
- itwiki Soddisfacibilità booleana
- jawiki 充足可能性問題
- kowiki 충족 가능성 문제
- nlwiki Vervulbaarheidsprobleem
- plwiki Problem spełnialności
- ptwiki Problema de satisfatibilidade booliana
- ruwiki Задача выполнимости булевых формул
- shwiki SAT problem
- simplewiki Boolean satisfiability problem
- srwiki САТ проблем
- thwiki ปัญหาความสอดคล้องแบบบูล
- ukwiki Задача здійсненності булевих формул
- zh_yuewiki 布林可滿足度問題
- zhwiki 布尔可满足性问题