The Propositional Complexity of First-Order Theorem Proving Strategies

v1

Work NobleIDNI7P87W25R58S28

Type:Journal Article

0 views

[![NobleID](https://www.nobleid.org/api/badge/F4DF84D0.svg?ark=w1%2F20260521%2FF4DF84D0&value=id)](https://nobleid.org/work/w1/20260521/F4DF84D0)

ARK Inflections

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors

David A. Plaisted

Yunshan Zhu