一篇预印本描述了能在次指数时间内精确计算某类KCNF公式可满足赋值数量的确定性算法，若成立将挑战指数时间假设（ETH）。