مسألة استيفاء منطقية
Sign in to saveAlso known as propositional satisfiability problem, SATISFIABILITY, SAT
problem of determining if a Boolean formula could be made true
Wikidata facts
- Instance of
- constraint satisfaction problem
- Subclass of
- decision problem
Show 5 more facts
- maintained by WikiProject
- WikiProject Mathematics
- topic's main category
- Category:Satisfiability problems
- Commons category
- Boolean satisfiability problem
- computational complexity
- NP-complete
- Stack Exchange tag
- cstheory.stackexchange.com/tags/sat
Sources (2)
via Wikidata · CC0