A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities.评价结果

评估详情