Heat and mass transfer analysis and optimization of freeze desalination utilizing cold energy of LNG leaving a power generation cycle