Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03241303n
Noun Concept
EL
boolean ικανοποιησιμότητα  boolean πρόβλημα ικανοποιησιμότητα  προτασιακή ικανοποιησιμότητα
EN
In logic and computer science, the Boolean satisfiability problem is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. Wikipedia
Relations
Sources
IS A
NP-completeness
ικανοποιήσιμη
πρόβλημα απόφασης
PART OF
21 np-πλήρη προβλήματα karp του
HAS KIND
2-ικανοποιησιμότητα
Wikipedia Translations
EL
boolean ικανοποιησιμότητα, boolean πρόβλημα ικανοποιησιμότητα, προτασιακή ικανοποιησιμότητα

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