搜索结果: 1-1 共查到“计算机科学技术基础学科 SMT”相关记录1条 . 查询时间(0.065 秒)
A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum satisfying assignments have appl...