2014年8月12日
2-SAT问题
摘要： ###2-SAT问题***####问题定义SAT(satisfiability / 适定性问题)：对于一个合取范式，求解使得该合取范式的值为1。 a and (b or c) and (d or e or f) and ...2-SAT：该合取范式的每一个子式只包含两个变量。 (a or b) an... 阅读全文
posted @ 2014-08-12 21:09 HouJP 阅读(1154) 评论(0) 推荐(0)