soddisfacibilità booleana
Sign in to saveAlso known as propositional satisfiability problem, SATISFIABILITY, SAT
problema di determinare se una formula booleana è soddisfacibile
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 · Italiano
La soddisfacibilità booleana, o soddisfacibilità proposizionale o SAT, è il problema di determinare se una formula booleana è soddisfacibile o insoddisfacibile. La formula si dice soddisfacibile se le variabili possono essere assegnate in modo che la formula assuma il valore di verità vero. Viceversa, si dice insoddisfacibile se tale assegnamento non esiste (pertanto, la funzione espressa dalla formula è identicamente falsa).
Abstract from DBpedia / Wikipedia · CC BY-SA