This note generalizes factorization for formulas with multiplicities and conjectures that the connection method along with this feature is computationally as powerful as resolution, also seen from a complexity point of view.

中文翻译：

---

ATP研究的一个猜想

本文概括了具有多重性的公式的因式分解，并推测连接方法和此功能在计算上与分辨率一样强大，这也是从复杂性的角度来看的。