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ộ