SAT
所属分类：人工智能/神经网络/深度学习
开发工具：Visual C++
文件大小：574KB
下载次数：14
上传日期：2012-11-22 20:30:54
上 传 者：
ilikejj
说明： SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中ai为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取指为真。
(SAT problem, also known as conjunctive normal to meet a conjunctive normal form: A1 ∧ A2 ∧ ... ∧ An clause Ai (1 ≤ i ≤ n) of the form: a1 ∨ a2 ∨ ... ∨ ak ai to the text, is a Boolean variable or non Boolean variables. SAT problem is: Is there a group assignment of all Boolean variable (TRUE or FALSE), and makes the whole conjunctive normal fetch is true.)
文件列表:
SAT\SAT\Debug\SAT.exe (225349, 2012-11-22)
SAT\SAT\Debug\SAT.ilk (220616, 2012-11-22)
SAT\SAT\Debug\SAT.map (90205, 2011-10-30)
SAT\SAT\Debug\SAT.obj (10931, 2012-11-22)
SAT\SAT\Debug\sat.pbi (470, 2011-10-30)
SAT\SAT\Debug\sat.pbo (549, 2011-10-30)
SAT\SAT\Debug\sat.pbt (676, 2011-10-30)
SAT\SAT\Debug\SAT.pch (230672, 2012-11-22)
SAT\SAT\Debug\SAT.pdb (500736, 2012-11-22)
SAT\SAT\Debug\sat._xe (139264, 2011-10-30)
SAT\SAT\Debug\vc60.idb (41984, 2012-11-22)
SAT\SAT\Debug\vc60.pdb (53248, 2012-11-22)
SAT\SAT\SAT.CPP (3215, 2011-10-30)
SAT\SAT\SAT.DSP (3365, 2012-11-22)
SAT\SAT\SAT.DSW (529, 2012-11-22)
SAT\SAT\SAT.ncb (41984, 2012-11-22)
SAT\SAT\SAT.OPT (48640, 2012-11-22)
SAT\SAT\SAT.PLG (737, 2012-11-22)
SAT\SAT\算法效率.doc (357888, 2011-10-30)
SAT\SAT\Debug (0, 2012-11-22)
SAT\SAT (0, 2012-11-22)
SAT (0, 2012-11-22)
近期下载者：
相关文件：
收藏者：