---
title: "Strategies in Rigid-Variable Methods"
authors:
  - "Andrei Voronkov"
doi: ""
url: "https://ijcai.org/proceedings/1997/18"
pdf: "https://ijcai.org/proceedings/1997/0018.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "114-120"
track: "Automated Reasoning"
keywords:
---

# Strategies in Rigid-Variable Methods

Andrei Voronkov

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 114-120.

## Abstract

We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intrinsic complications introduced by rigid variab les. We also consider strategies for increasing multiplicity in rigid-variable methods, and formally show that the use of intelligent strategies can result in an essential gain in efficiency.