C:\Documents and Settings\JUMP\Mis documentos\Parallel ... - FdI UCM

2 downloads 0 Views 1MB Size Report
are described in the literature: AC-3 [10], AC-4 [11], AC-5 [15], and AC-6 AC-3, AC-4 and AC-6 deal with extensional constraints, that is, constraints.