Instance Based Methods --- A Brief Overview

TL;DR

This paper provides a brief overview of instance-based methods for automated proof search in first-order logic, discussing their properties, relations to resolution methods, and recent trends in refinements and applications.

Contribution

It offers a concise, informal summary of major instance-based methods, highlighting recent developments and providing a comprehensive literature list.

Findings

Overview of key instance-based methods

Discussion of their properties and relations to resolution

Recent trends in refinements and applications

Abstract

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 discusses their properties and relations to the more established resolution methods. It also discusses some recent trends on refinements and applications. This overview is rather brief and informal, but we provide a comprehensive literature list to follow-up on the details.