A semiclassical initial-value representation for quantum propagator and boltzmann operator. - Yun-An Yan; Jian Liu 019; Jiushu Shao (J. Comput. Chem., 2019)