Constraint satisfaction
[ar] تلبية القيود
[pt] Satisfação de restrições