Both MAX ( 1) and MARG ( 1) are subclasses of the minimal unsatisfiable formulas, and formulas in these subclasses can be represented by trees.

  • MAX(1)和MARG(1)是极小不可满足公式的两个子类,这两个子类中的公式可以用树表示。

  • 互联网摘选 2025-01-19 22:15:41

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