SAT求解器的预处理（化简）学习

SAT问题的预处理对很对问题的求解是非常重要的。

预处理的主要原理：奇偶性和基数性约束推理

posted on 2020-04-10 22:25  海阔凭鱼跃越  阅读(356)  评论(0)  编辑  收藏  举报