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