Model generation theorem proving with interval constraints

Abstract

We investigate how the deduction paradigm of model generation theorem proving can be enhanced with interval-and extraval-based constraints leading to more efficient model generation in for some finite domain problems