• 真值指派 - 引用次数：2

  We study satisfiability problem to decide that whether there exists a truth assignment which can satisfy a given logical expression. Sat is very important to mathematical logic, artificial intelligence, computer algorithm design and analysis, engineering applications and other fields.

  可满足性问题(SAT)研究如何判定一个任意给定的逻辑表达式是否存在可满足真值指派。

  参考来源 - 启发式将3

·2,447,543篇论文数据，部分数据来源于NoteExpress