Giải hệ phân cấp ràng buộc trên miền trị hữu hạn bằng phương pháp tìm kiếm cục bộ (solving contraint hierarchies on finite damain using local search)