A fast saturation strategy for set


In this paper we present a fast tableau saturation strategy which can be used as an optimized decision procedure for some fragments of set theory. Such a strategy is based on the use of a model checking technique which guides the saturation process. As a result, it turns out that the saturation process converges much faster than previous decision algorithms… (More)