vervulbaarheidsprobleem
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
Article · Nederlands
In de complexiteitstheorie verwijst het vervulbaarheidsprobleem (ook bekend als SAT, van het Engelse satisfiability) naar het bepalen of een logische propositie vervuld kan worden; een propositie kan vervuld worden als er een toekenning van waar of onwaar aan de atomaire formules bestaat zodanig dat de gehele propositie waar is.
Abstract from DBpedia / Wikipedia · CC BY-SA