OIT (Q18757)

من Marefa data
problem of determining if a Boolean formula could be made true الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
OIT
لا يوجد وصف
    الإنجليزية
    boolean satisfiability problem
    problem of determining if a Boolean formula could be made true
    • propositional satisfiability problem
    • SATISFIABILITY
    • SAT

    بيانات

    Wikidata item الإنجليزية
    ٠ مرجع
    instance of الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    constraint satisfaction problem الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    Commons category الإنجليزية
    Boolean satisfiability problem
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    Freebase ID الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    topic's main category الإنجليزية
    part of الإنجليزية
    Karp's 21 NP-complete problems الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    Microsoft Academic ID الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية