提出
经核准的
编辑
该常数被推测为中3子句阈值的准确值这个 可满足性问题 问题 ( Olivier Dubois 1993)。
O.Dubois,J.Carlier,<a href=“https://doi.org/10.1016/0304-3975(91)90316-T“>满足性的概率方法问题问题</a>,《理论计算机科学》,1991年第81期,第65-75页。
囊性纤维变性。A072908号.
方程解的十进制展开日志日志(2) -X/8-经验(-3X/7)=0(4.251844….)。
O.Dubois,J.Carlier,可满足性问题的概率方法。理论计算机科学,81,1991,第65-75页
O.Dubois,J.Carlier,<a href=“https://doi.org/10.1016/0304-3975(91)90316-T“>可满足性问题的概率方法,《理论计算机科学》,1991年第81期,第65-75页。
8*Log[2]+7/3*ProductLog[-3/(7*2^(3/7))]//RealDigits[#,10,106]&//第一个(*Jean-François Alcover公司2013年3月4日*)