6 citations · 6 across the 1 of their papers we have counts for
1 paper
Peter Baumgartner, Evgenij Thorstensen
Instance-based methods are a specific class of methods for automated proof search in first-order logic. This article provides an overview of the major methods in the area and discu…