搜索结果: 1-1 共查到“理学 Horn formula”相关记录1条 . 查询时间(0.038 秒)
Compactly generating all satisfying truth assignments of a Horn formula
truth assignments Horn formula
2011/3/2
As instance of an overarching principle of exclusion an algorithm is presented that compactly (thus not one by one) generates all models of a Horn formula. The principle of exclusion can be adapted to...