The satisfiability problem of conjunction normal form ( abbreviate SAT problem ) is an NP _ complete problem.

  • 合取范式可满足性问题 ( 简称SAT问题 ) 是一个NP完全问题.

  • 网络文摘精选 2025-01-18 10:16:37

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句