## Set-Based Constraints

Citations: | 1 - 1 self |

### BibTeX

@MISC{Dovier_set-basedconstraints,

author = {Agostino Dovier and Carla Piazza and Gianfranco Rossi},

title = {Set-Based Constraints},

year = {}

}

### OpenURL

### Abstract

The notion of set constraint has been presented in literature with two dierent meanings and aims. Each of them allows to deal with a particular class of set based formulae. We compare the two notions and present their satis ability problem as instances of the more general framework of Computable Set Theory. We show that there are large classes of formulae for which both proposals provide suitable procedures for testing satis ability with respect to a given privileged interpretation. We show examples of how these constraints can be used for set-based analysis and for problem solving in general.