Università degli Studi di Napoli "Federico II", Italy;Università degli Studi di Napoli "Federico II", Italy;Università degli Studi di Napoli "Federico II", Italy;Università degli Studi di Napoli "Federico II", Italy
Venue:
MFCS '09 Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009
Let V = {x1,...,xn} be a set of variables that range over a set of values D = {d1,...,dq}. A constraint is an expression of the type $R(x_{i_1},\ldots,x_{i_r})$, ...