A Conjecture for ATP Research
<|reference_start|>A Conjecture for ATP Research: 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.<|reference_end|>
@article{bibel2024a,
    title={A Conjecture for ATP Research},
    author={Wolfgang Bibel},
    journal={arXiv preprint arXiv:2403.10334},
    year={2024},
    archivePrefix={arXiv},
    eprint={2403.10334},
    primaryClass={cs.LO}
}