6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
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…