Exact formulation and solution of the nuclear eigenvalue problem in a microscopic multiphonon space