Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03241303n
Noun Concept
Categories: Problemi NP-completi, Soddisfacibilità booleana
IT
soddisfacibilità booleana  soddisfacibilità  Boolean satisfiability problem  problema di soddisfacibilità booleana  soddisfacibilità proposizionale
IT
La soddisfacibilità booleana, o soddisfacibilità proposizionale o SAT, è il problema di determinare se una formula booleana è soddisfacibile o insoddisfacibile. Wikipedia
Definitions
Relations
Sources
IT
La soddisfacibilità booleana, o soddisfacibilità proposizionale o SAT, è il problema di determinare se una formula booleana è soddisfacibile o insoddisfacibile. Wikipedia
IS A
NP-completo
soddisfacibilità
problema decisionale
PART OF
21 problemi NP-completi di Karp
HAS KIND
2-satisfiability
Wikipedia
IT
soddisfacibilità booleana
Wikidata
IT
soddisfacibilità booleana
OmegaWiki
IT
soddisfacibilità
Wikipedia Redirections
IT
3-SAT, 3SAT, Boolean satisfiability problem, problema di soddisfacibilità booleana, soddisfacibilità proposizionale
Wikidata Alias
IT
Boolean satisfiability problem, boolean satisfiability problem, problema di soddisfacibilità booleana, Problema di soddisfacibilità booleana, SAT
Wikipedia Translations
IT
problema della soddisfacibilità booleana, soddisfacibilità booleana, soddisfacibilità proposizionale

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License