您现在的位置是:源码地带 > 资源下载

对于给定的2-CNF

  • 上传时间: 2015-05-31
  • 上传用户:wy50094777
  • 资源积分:2 下载积分
  • 标      签: CNF

资 源 简 介

对于给定的2-CNF,设计一个线性时间算法,判定其是否可满足。

相 关 资 源