Both direct implication and indirect implication methods are used in this algorithm.

  • 算法利用直接蕴含和间接蕴含的方法,解决了布尔可满足问题.

  • 网络文摘精选 2025-01-18 16:39:43

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