A Conjecture for ATP Research
Logic in Computer Science
2024-03-18 v1
Abstract
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.
Cite
@article{arxiv.2403.10334,
title = {A Conjecture for ATP Research},
author = {Wolfgang Bibel},
journal= {arXiv preprint arXiv:2403.10334},
year = {2024}
}