A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals

Maximiliano Cristiá, Gianfranco Rossi

In this paper we extend a decision procedure for the Boolean algebra of finite sets with cardinality constraints (${\mathcal{L}}_{|\cdot |}$) to a decision procedure for $\m…