Unprovability results for clause set cycles
Work
Year: 2022
Type: article
Abstract: The notion of clause set cycle abstracts a family of methods for automated inductive theorem proving based on the detection of cyclic dependencies between clause sets. By discerning the underlying log... more
Source: Theoretical Computer Science
Authors Stefan Hetzl, Jannik Vierling
Institution TU Wien
Cites: 47
Cited by: 1
Related to: 10
FWCI: 0.144
Citation percentile (by year/subfield): 36.02
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,690