Compact normal forms in propositional logic and integer programming formulations.评价结果

评估详情