مسئله صدقپذیری دودویی
Sign in to saveAlso known as propositional satisfiability problem, SATISFIABILITY, SAT
problem of determining if a Boolean formula could be made true
Wikidata facts
Show 2 more facts
- Commons category
- Boolean satisfiability problem
- Stack Exchange tag
- cstheory.stackexchange.com/tags/sat
Sources (2)
via Wikidata · CC0
Connections
proposition
Entity
theoretical computer science
Entity
NP
Entity
logical consequence
Entity
time complexity
Entity
P
Entity
DPLL algorithm
Entity
polynomial hierarchy
Entity
logic
Entity
Artificial intelligence
Concept
computer science
Entity
truth
Entity
International Standard Book Number
Entity
algorithm
Entity
probability
Entity
name
Entity
set theory
Entity
reason
Entity
cryptography
Entity
digital object identifier
Entity